summaryrefslogtreecommitdiff
path: root/prolog/problems
AgeCommit message (Collapse)Author
2016-02-15Prolog: add a graph of family relationsTimotej Lazar
2016-02-15Prolog: fix order of family relations problemsTimotej Lazar
2016-02-12Prolog: catch exceptions in test functionsTimotej Lazar
2016-01-16Random commit for testing pycharmAleksander Sadikov
2016-01-13Use argument mode indicators in Prolog problem descriptionsTimotej Lazar
2016-01-13Remove space-padding from <pre> blocksTimotej Lazar
2016-01-12Return number of passed/total tests from Prolog test functionsTimotej Lazar
2016-01-05Simplify Prolog hint functionsTimotej Lazar
2016-01-05Remove info about reusable solutions from Prolog groupsTimotej Lazar
Required predicates (those that must be loaded when testing the program) are now determined by analyzing the tested program.
2015-12-23Simplify Prolog test functionTimotej Lazar
2015-12-23Add info about reusable solutions to Prolog groupsTimotej Lazar
2015-12-23Hide problem Prolog.family_relations.connected_3Timotej Lazar
2015-12-15Hide Prolog.{denotational_semantics,trees} problemsTimotej 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-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
Such errors are now handled in server.prolog_session.
2015-11-17Fix test functions for Prolog problemsTimotej Lazar
Old version would return wrong values for programs with syntax errors.
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-02Figures, hints and test cases added/updated for father, grandparent, ↵Aleksander Sadikov
brother, and sister problems.
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-23Add missing imports for Prolog problemsTimotej Lazar
2015-09-22New problems with hints for famrel section added.Aleksander Sadikov
This practically completes famrel section without some details.
2015-09-22Oops, overzealous copy/pasteTimotej 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-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
Simplify the testing function and add correct test cases for Prolog problems mother/2 and brother/2.
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.
generated by cgit v1.2.1 (git 2.18.0) at 2024-12-26 05:16:08 +0000