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
Arguments are not sufficiently instantiated Help!	5	1290	March 7, 2023
Problem with instanciation of list :) Help!	11	983	May 14, 2020
Compare/3 dubious logic Help! bug	8	436	March 4, 2022
Question about clpfd and "insufficiently instantiated variables" General	2	181	December 31, 2023
Please assist me with following SWI complier error? Help!	4	453	August 18, 2021