summaryrefslogtreecommitdiff
path: root/prolog
AgeCommit message (Collapse)Author
2016-08-28English translation for memb/2 added.Aleksander Sadikov
2016-08-27English translation for conc/3 added.Aleksander Sadikov
2016-08-21English translation for grandparent/2 added.Aleksander Sadikov
2016-08-20English translation for cousin/2 added.Aleksander Sadikov
2016-08-19English translation for sister/2 and brother/2 added.Aleksander Sadikov
2016-08-19English translation for aunt/2 added.Aleksander Sadikov
2016-08-18English translation for mother/2 and father/2 added.Aleksander Sadikov
2016-08-10English translation for rev/2 added.Aleksander Sadikov
2016-08-09English translation for ancestor/2 and descendant/2 updated.Aleksander Sadikov
2016-08-09English translation for ancestor/2 and descendant/2 updated.Aleksander Sadikov
2016-08-09English translation for descendant/2 added.Aleksander Sadikov
2016-08-09Merge branch 'master' of ssh://192.168.15.97/codeq-problemsAleksander Sadikov
2016-08-09Add a missing import to prolog/common.pyTimotej Lazar
2016-08-09Prolog: add a couple of test cases for rev/2Timotej Lazar
2016-08-09English translation for descendant/2 partially added.Aleksander Sadikov
2016-08-08English translation for ancestor/2 added.Aleksander Sadikov
2016-07-05Prolog: remove inference limit for several DCG problemsTimotej Lazar
It is reasonable to use CLP(FD) for the paren/3, number/2, number/3 and number_proper/2 problems; the inference limit prevented some tests from succeeding.
2016-05-29Prolog: add slo. group description for algolTimotej Lazar
2016-05-29Denotational semantics, part #2 (mini algol): tests and translations added.Aleksander Sadikov
2016-05-29Prolog: add initial programs for algol problemsTimotej Lazar
2016-05-29Prolog: make algol problems visibleTimotej Lazar
2016-05-25Prolog: add a test case for dcg/paren_2Timotej Lazar
2016-05-22Denotational semantics, part #1: tests and translations added.Aleksander Sadikov
2016-05-22Prolog: update initial code for denotational_semantics problemsTimotej Lazar
2016-05-22Prolog: update denotational_semantics problemsTimotej Lazar
2016-05-18Prolog: add introduction for DCG groupTimotej Lazar
2016-05-18Prolog: remove language hint about lowercase varsTimotej Lazar
These hints are not appropriate for DCG exercises.
2016-05-16Prolog: fix a typoTimotej Lazar
2016-05-16Prolog: hide dcg/expr_[23] until tests are addedTimotej Lazar
2016-05-15DCG: test cases added.Aleksander Sadikov
2016-05-15Prolog: show DCG problemsTimotej Lazar
2016-05-08Prolog: add English translations for monkey hintsTimotej Lazar
2016-05-08Prolog: remove inference limit for CLP(FD) testsTimotej Lazar
2016-05-08Prolog: fix copy/paste errorTimotej Lazar
2016-05-06Prolog: renumber and fix CLP(FD) problemsTimotej Lazar
2016-04-25Prolog: remove argument mode indicators from descriptionsTimotej Lazar
2016-04-25Remove file encoding comments from python filesTimotej Lazar
UTF-8 is the default.
2016-04-24Prolog: swap CLP{R,FD} and reorder CLPR exercisesTimotej Lazar
2016-04-24Prolog: rename max_sum/2 to max_adj_pair/2Timotej Lazar
2016-04-24CLP(R) exercises: Slovenian descriptions added.Aleksander Sadikov
2016-04-24CLP(R) exercises: Slovenian descriptions added.Aleksander Sadikov
2016-04-24Tests added for CLP(R) set of exercises.Aleksander Sadikov
2016-04-24Tests added for linear_opt exercise.Aleksander Sadikov
2016-04-24Tests added for linear_opt exercise.Aleksander Sadikov
2016-04-18Prolog: make license_plates group visibleTimotej Lazar
2016-04-11Prolog: add a test case for depthBT/2Timotej Lazar
2016-04-11Prolog: add a test case for mirrorBT/2Timotej Lazar
2016-04-11Prolog: no hint for using b/t (valid for trees group)Timotej Lazar
2016-04-11Prolog: add test cases for the trees groupTimotej Lazar
2016-04-07Prolog: fix test cases for sorting/pivoting_4Timotej Lazar
generated by cgit v1.2.1 (git 2.18.0) at 2024-12-26 17:47:19 +0000