summaryrefslogtreecommitdiff
path: root/prolog/problems
AgeCommit message (Expand)Author
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
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
2016-03-25Prolog: clarify instructions for sublist_2Timotej Lazar
2016-03-21Hints and plans for min/2 added.Aleksander Sadikov
2016-03-21Hints and plans for max/2 added.Aleksander Sadikov
2016-03-21Hints and plans for sum/2 added.Aleksander Sadikov