summaryrefslogtreecommitdiff
path: root/prolog
AgeCommit message (Collapse)Author
2016-10-04Use a single CSS file for all coursesTimotej Lazar
2016-10-04Prolog: reduce inference limit for rev_2Timotej Lazar
2016-09-28English translation for sins/3 added.Aleksander Sadikov
2016-09-28English translation for pivoting/4 added.Aleksander Sadikov
2016-09-27English translation for is_sorted/1 added.Aleksander Sadikov
2016-09-23English translation for quicksort/2 added.Aleksander Sadikov
2016-09-21English translation for slowest_sort_ever/2 added.Aleksander Sadikov
2016-09-21English translation for isort/2 added.Aleksander Sadikov
2016-09-09English translation for sublist/2 added.Aleksander Sadikov
2016-09-08English translation for palindrome/1 added.Aleksander Sadikov
2016-09-08English translations for evenlen/1 and oddlen/1 added.Aleksander Sadikov
2016-09-08English translations for min/2 and max/2 added.Aleksander Sadikov
2016-09-06English translation for sum/2 added.Aleksander Sadikov
2016-09-06English translation for len/2 added.Aleksander Sadikov
2016-09-01English translation for shiftright/2 added.Aleksander Sadikov
2016-09-01English translation for shiftleft/2 added.Aleksander Sadikov
2016-08-31English translation for divide/3 added.Aleksander Sadikov
2016-08-31English translation for permute/2 added.Aleksander Sadikov
2016-08-30English translation for last_elem/2 added.Aleksander Sadikov
2016-08-29English translation for dup/2 added.Aleksander Sadikov
2016-08-29English translation for del/3 added.Aleksander Sadikov
2016-08-29English translation for insert/3 added.Aleksander Sadikov
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
generated by cgit v1.2.1 (git 2.18.0) at 2024-11-03 21:07:56 +0000