summaryrefslogtreecommitdiff
path: root/prolog
AgeCommit message (Expand)Author
2016-03-14Plans for divide/3 added.Aleksander Sadikov
2016-03-14Plans for divide/3 added.Aleksander Sadikov
2016-03-14Plans for divide/3 added.Aleksander Sadikov
2016-03-14Plans for divide/3 added.Aleksander Sadikov
2016-03-13Forgot to add hint definition for fail_ruleTimotej Lazar
2016-03-13Prolog: add generic style check for ":- false."Timotej Lazar
2016-03-13Prolog: add pictures for lists problemsTimotej Lazar
2016-03-14Plans for last_elem/2 added.Aleksander Sadikov
2016-03-14Hints for last_elem/2 updated.Aleksander Sadikov
2016-03-14Hints for last_elem/2 updated.Aleksander Sadikov
2016-03-14Hints for last_elem/2 updated.Aleksander Sadikov
2016-03-14Hints for last_elem/2 updated.Aleksander Sadikov
2016-03-14Hints for last_elem/2 updated.Aleksander Sadikov
2016-03-14Hints for last_elem/2 added.Aleksander Sadikov
2016-03-12Prolog: split generic hint function into syntax check and the restTimotej Lazar
2016-03-12Hints for last_elem/2 added.Aleksander Sadikov
2016-03-12Hints for last_elem/2 added.Aleksander Sadikov
2016-03-12Correction for memb/2 base case hint made.Aleksander Sadikov
2016-03-11Prolog: add problem lists/last_elem_2Timotej Lazar
2016-03-12Merge remote-tracking branch 'origin/master'Aleksander Sadikov
2016-03-12Hints for conc/3 added.Aleksander Sadikov
2016-03-11prolog/lists/memb_2: use a vector image for base_case hintTimotej Lazar
2016-03-11prolog/lists/memb_2: add picture for base_case hintTimotej Lazar
2016-03-11Hints for conc/3 added. And some misc bits here & there.Aleksander Sadikov
2016-03-11Plans for conc/3 added. Order of hints in dup/2 corrected.Aleksander Sadikov
2016-03-11Hints for dup/2 added.Aleksander Sadikov
2016-03-11Plans for dup/2 added.Aleksander Sadikov
2016-03-10Prolog: add intro text for lists exercisesTimotej Lazar
2016-03-10Hints for insert/3 added.Aleksander Sadikov
2016-03-09Reordering the exercises in list chapter #1.Aleksander Sadikov
2016-03-09Hints for del/3 updated.Aleksander Sadikov
2016-03-09Hints for del/3 updated.Aleksander Sadikov
2016-03-09Hints for del/3 updated.Aleksander Sadikov
2016-03-09Hints for del/3 updated.Aleksander Sadikov
2016-03-09Plans for del/3 updated.Aleksander Sadikov
2016-03-09Hints for del/3 added. And some minor corrections/additions elsewhere.Aleksander Sadikov
2016-03-09Hints for memb/2 added.Aleksander Sadikov
2016-03-09Hints for memb/2 added.Aleksander Sadikov
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() funct...Aleksander Sadikov
generated by cgit v1.2.1 (git 2.18.0) at 2024-06-28 20:13:35 +0000