summaryrefslogtreecommitdiff
path: root/prolog
AgeCommit message (Expand)Author
2015-12-15Hide Prolog.{denotational_semantics,trees} problemsTimotej Lazar
2015-12-15Tweak monkey hint messagesTimotej Lazar
2015-12-15Add Slovenian translations for Prolog.{clp_fd,dcg}Aleksander Sadikov
2015-12-15Add tests for Prolog.clp_fdAleksander Sadikov
2015-12-14Test cases for CLPFD, and Slovenian translations for CLPFD and DCG added.Aleksander Sadikov
2015-12-14Add test function for prolog.clp_fd.puzzle_bethTimotej Lazar
2015-12-14Add tests for Prolog.{sorting,sets,license_plates}Aleksander Sadikov
2015-12-14Add Slovenian translations for Prolog exercisesAleksander Sadikov
2015-12-11Add hints for monkey.fixTimotej Lazar
2015-11-30Reformat Prolog test cases with listsTimotej Lazar
2015-11-27Leave query modification in tests to Prolog engineTimotej Lazar
2015-11-27Add missing test functions for prolog/listsTimotej Lazar
2015-11-19Add test function for prolog/sets/union_3Timotej Lazar
2015-11-18Do not handle engine errors in hint functionsTimotej Lazar
2015-11-17Fix test functions for Prolog problemsTimotej Lazar
2015-11-17Do not import obsolete HintSequence anywhereTimotej Lazar
2015-10-28Add test function for prolog/lists/len_2Timotej Lazar
2015-10-27Add test function for prolog/lists/conc_3Timotej Lazar
2015-10-19Descriptions of Prolog sections added.Aleksander Sadikov
2015-10-17Names of Prolog sections added.Aleksander Sadikov
2015-10-17Names of Prolog sections added.Aleksander Sadikov
2015-10-17Family relations section fully hint-ready (just a few minor things missing).Aleksander Sadikov
2015-10-17Family relations section fully hint-ready (just a few minor things missing).Aleksander Sadikov
2015-10-12Remove group attribute from problem common.py filesTimotej Lazar
2015-10-08Add language/group IDs and group numbers for PrologTimotej Lazar
2015-10-08Remove unneeded id field from {en,sl}.py filesTimotej Lazar
2015-10-06Add "program is already correct" hintsTimotej Lazar
2015-10-02Figures, hints and test cases added/updated for father, grandparent, brother,...Aleksander Sadikov
2015-10-01Add group description files for family relationsTimotej Lazar
2015-10-01Figures and hints updated for mother/2, father/2, and grandparent/2 problems.Aleksander Sadikov
2015-10-01Figures and hints updated for mother/2 problem.Aleksander Sadikov
2015-09-30Add a popup hint for grandparentAleksander Sadikov
2015-09-30Figures added for mother problem.Aleksander Sadikov
2015-09-24Add name and description to language en/sl filesTimotej Lazar
2015-09-23Add missing imports for Prolog problemsTimotej Lazar
2015-09-22New problems with hints for famrel section added.Aleksander Sadikov
2015-09-22Oops, overzealous copy/pasteTimotej Lazar
2015-09-22Update test functions for existing problemsTimotej Lazar
2015-09-18Add plan for brother/father/mother/sisterTimotej Lazar
2015-09-18Fix a typoTimotej Lazar
2015-09-17Use check_answers instead of ask_all for testingTimotej Lazar
2015-09-11Accept a list of solved problems for hint/testTimotej Lazar
2015-09-11s/hint_defs/hint_type/gTimotej Lazar
2015-09-10Use Hint classes for hints from the last commitTimotej Lazar
2015-09-10Hints for mother, father, brother, and sister added.Aleksander Sadikov
2015-09-03Pass the session object to test and hint functionsTimotej Lazar
2015-09-02Added SI version of hints for sister/2.Aleksander Sadikov
2015-09-01Translate language-specific messages to SloveneTimotej Lazar
2015-08-28Add the 'test_results' message for PrologTimotej Lazar
2015-08-28Move generic hints to prolog/en.pyTimotej Lazar