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
What does sort/2 do? Predicate	34	7688	December 22, 2020
Impact of arguments order in maplist Help!	3	1067	September 16, 2019
Semantics of partition with "partial evaluation" General	20	579	October 30, 2023
Can we use foldl with bool values? General	22	553	August 31, 2023
Tabling: Problem with answer subsumption? Help! how-to	9	506	July 11, 2020