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	7759	December 22, 2020
Impact of arguments order in maplist Help!	3	1094	September 16, 2019
Semantics of partition with "partial evaluation" General	20	619	October 30, 2023
Is there a linter for prolog programs? Discussion	32	289	October 28, 2025
Tabling: Problem with answer subsumption? Help! how-to	9	556	July 11, 2020