summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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() ↵Aleksander Sadikov
function added.
2016-02-29Improved hints for ancestor/2.Aleksander Sadikov
2016-02-29Improved hints for ancestor/2.Aleksander Sadikov
2016-02-29Improved hints for cousin/2.Aleksander Sadikov
2016-02-29Improved hints for cousin/2.Aleksander Sadikov
2016-02-29Some minor corrections in accompanying texts.Aleksander Sadikov
2016-02-29Hints for aunt/2 improved.Aleksander Sadikov
2016-02-29Hints for aunt/2 improved.Aleksander Sadikov
2016-02-29Hints for aunt/2 improved.Aleksander Sadikov
2016-02-29Merge branch 'master' of ssh://192.168.15.97/codeq-problemsAleksander Sadikov
2016-02-29Hints for aunt/2 improved. Also added to text for predicate_always_false hints.Aleksander Sadikov