summaryrefslogtreecommitdiff
path: root/prolog
AgeCommit message (Collapse)Author
2016-03-09Hints for memb/2 added.Aleksander Sadikov
2016-03-08Hints for memb/2 added.Aleksander Sadikov
2016-03-08Hints for memb/2 added.Aleksander Sadikov
2016-03-02Improved hints for ancestor/2 and descendant/2.Aleksander Sadikov
2016-03-02Improved hints for ancestor/2 and descendant/2.Aleksander Sadikov
2016-03-02Merge remote-tracking branch 'origin/master'Aleksander Sadikov
2016-03-02Improved hints for ancestor/2 and descendant/2.Aleksander Sadikov
2016-03-01Fix a typoTimotej Lazar
2016-03-01Improved hints for ancestor/2 and descendant/2.Aleksander Sadikov
2016-03-01Improved hints for ancestor/2.Aleksander Sadikov
2016-02-29Merge branch 'master' of ssh://192.168.15.97/codeq-problemsAleksander Sadikov
2016-02-29Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() ↵Aleksander Sadikov
function added.
2016-02-29Improved hints for ancestor/2.Aleksander Sadikov
2016-02-29Improved hints for ancestor/2.Aleksander Sadikov
2016-02-29Improved hints for cousin/2.Aleksander Sadikov
2016-02-29Improved hints for cousin/2.Aleksander Sadikov
2016-02-29Some minor corrections in accompanying texts.Aleksander Sadikov
2016-02-29Hints for aunt/2 improved.Aleksander Sadikov
2016-02-29Hints for aunt/2 improved.Aleksander Sadikov
2016-02-29Hints for aunt/2 improved.Aleksander Sadikov
2016-02-29Merge branch 'master' of ssh://192.168.15.97/codeq-problemsAleksander Sadikov
2016-02-29Hints for aunt/2 improved. Also added to text for predicate_always_false hints.Aleksander Sadikov
2016-02-29Prolog: hide all but the first problem groupTimotej Lazar
Hopefully nobody is using the app yet for self-study….
2016-02-29General hint for noncapitalised variables added.Aleksander Sadikov
2016-02-29Final hint added for sister/2.Aleksander Sadikov
2016-02-29Final hint added for sister/2.Aleksander Sadikov
2016-02-29Additional improvements to hints for mother, father, grandparent, sister, ↵Aleksander Sadikov
and brother problems.
2016-02-29Additional improvements to hints for mother, father, grandparent, sister, ↵Aleksander Sadikov
and brother problems.
2016-02-29Additional improvements to hints for mother, father, grandparent, sister, ↵Aleksander Sadikov
and brother problems.
2016-02-29Additional improvements to hints for mother, father, grandparent, sister, ↵Aleksander Sadikov
and brother problems.
2016-02-28sister/2 and brother/2 hints improved.Aleksander Sadikov
2016-02-28Prolog: add general and family relations introTimotej Lazar
2016-02-28grandparent/2 hints improved.Aleksander Sadikov
2016-02-28mother/2 and father/2 hints improved.Aleksander Sadikov
2016-02-17Prolog: only catch timeout in test functionsTimotej Lazar
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-05Fix parameters for Prolog language hint functionTimotej 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-15Tweak monkey hint messagesTimotej Lazar
generated by cgit v1.2.1 (git 2.18.0) at 2024-11-04 18:11:34 +0000