Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
Required predicates (those that must be loaded when testing the program)
are now determined by analyzing the tested program.
|
|
|
|
|
|
|
|
|
|
Such errors are now handled in server.prolog_session.
|
|
Old version would return wrong values for programs with syntax errors.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
brother, and sister problems.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This practically completes famrel section without some details.
|
|
|
|
The test function is now expected to return a boolean indicating whether
the program is correct and a list of hint objects.
|
|
|
|
|
|
Simplify the testing function and add correct test cases for Prolog
problems mother/2 and brother/2.
|
|
Some Prolog problems may be solved using previous solutions. This allows
us to test such programs, and still analyze the submission separately.
|
|
|
|
Also move the language-specific hint method for Prolog to prolog.common.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|