summaryrefslogtreecommitdiff
path: root/prolog/problems
AgeCommit message (Collapse)Author
2016-08-09Prolog: add a couple of test cases for rev/2Timotej Lazar
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-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: 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: add test cases for the trees groupTimotej Lazar
2016-04-07Prolog: fix test cases for sorting/pivoting_4Timotej Lazar
2016-04-04Prolog: add a test case for conc/3Timotej Lazar
2016-04-03Prolog: add introduction for the sets group and make it visibleTimotej Lazar
2016-03-30Prolog: make sorting exercises visibleTimotej Lazar
2016-03-30Hints and plans for isort/2 added.Aleksander Sadikov
2016-03-30Hints and plans for quick_sort/2 added.Aleksander Sadikov
2016-03-30Hints and plans for pivoting/4 added.Aleksander Sadikov
2016-03-30Hints and plans for pivoting/4 added.Aleksander Sadikov
2016-03-30Hints and plans for sins/3 added.Aleksander Sadikov
2016-03-30Hints and plans for is_sorted/1 added.Aleksander Sadikov
2016-03-30Hints and plans for is_sorted/1 added.Aleksander Sadikov
2016-03-30Hints and plans for slowest_sort_ever/2 added.Aleksander Sadikov
2016-03-29Prolog: add triggers for quick_sort/2 hintsTimotej Lazar
2016-03-29Prolog: add triggers for pivoting/4 hintsTimotej Lazar
2016-03-29Prolog: add triggers for isort/2 hintsTimotej Lazar
2016-03-29Prolog: add triggers for sins/3 hintsTimotej Lazar
2016-03-29Prolog: add triggers for slowest_sort_ever/2 hintsTimotej Lazar
2016-03-29Prolog: add triggers for is_sorted/1 hintsTimotej Lazar
generated by cgit v1.2.1 (git 2.18.0) at 2024-12-26 20:19:55 +0000