summaryrefslogtreecommitdiff
path: root/prolog/common.py
AgeCommit message (Collapse)Author
2017-02-27Prolog: add texts for new automatic hintsTimotej Lazar
2016-08-09Add a missing import to prolog/common.pyTimotej Lazar
2016-05-18Prolog: remove language hint about lowercase varsTimotej Lazar
These hints are not appropriate for DCG exercises.
2016-04-25Remove file encoding comments from python filesTimotej Lazar
UTF-8 is the default.
2016-04-11Prolog: no hint for using b/t (valid for trees group)Timotej Lazar
2016-03-13Forgot to add hint definition for fail_ruleTimotej Lazar
2016-03-13Prolog: add generic style check for ":- false."Timotej Lazar
2016-03-12Prolog: split generic hint function into syntax check and the restTimotej Lazar
2016-03-09Hints for del/3 added. And some minor corrections/additions elsewhere.Aleksander Sadikov
2016-02-29General hint for noncapitalised variables added.Aleksander Sadikov
2016-01-05Fix parameters for Prolog language hint functionTimotej Lazar
2015-12-11Add hints for monkey.fixTimotej Lazar
2015-11-17Do not import obsolete HintSequence anywhereTimotej Lazar
2015-10-08Add language/group IDs and group numbers for PrologTimotej Lazar
2015-10-06Add "program is already correct" hintsTimotej Lazar
2015-09-22Update test functions for existing problemsTimotej Lazar
The test function is now expected to return a boolean indicating whether the program is correct and a list of hint objects.
2015-09-11Accept a list of solved problems for hint/testTimotej Lazar
Some Prolog problems may be solved using previous solutions. This allows us to test such programs, and still analyze the submission separately.
2015-09-11s/hint_defs/hint_type/gTimotej Lazar
2015-09-10Use Hint classes for hints from the last commitTimotej Lazar
Also move the language-specific hint method for Prolog to prolog.common.