I am working through some list handling exercises (from Tate’s Seven Languages in Seven Weeks . I have already done a reverseList predicate I’m very proud of. :slight_smile: Now I try to do a minOfList predicate. I got it working with the following code: minOfList([A], A). minOfList([H|T], M) :- m…

Error "Arguments are not sufficiently instantiated" - Order of the premisses in a rule matter?

EricGT July 27, 2021, 7:47am 8

The Craft of Prolog by Richard A O`Keefe (WorldCat )

Topic		Replies	Views
Impact of arguments order in maplist Help!	3	1073	September 16, 2019
What does sort/2 do? Predicate	34	7739	December 22, 2020
Why does this predicate change a list with a tail, to a list with two elements, one ground, one var? Help!	15	1864	July 17, 2019
On sorting non-ground terms and the standard order of terms General	26	1795	January 2, 2020
Tabling: Problem with answer subsumption? Help! how-to	9	525	July 11, 2020