I’m using: SWI-Prolog versionSWI-Prolog version 9.2.9 for arm64-darwin. I want the code to: Solve problem number 8 from P-99: Ninety-Nine Prolog Problems : Eliminate consecutive duplicates of list elements. Questions: 1 - Isn’t the pattern matching depending on the order of clauses of a multi-cla…

If I remember correctly, Erlang is a committed choice language. If so there is an implicit cut/commit in the neck of every alternative. There is not an implicit cut in Prolog so the concept of “already covered” must be done by an explicit cut to remove the choicepoint when the first two elements un…

Pattern Matching Order

Help!

brebs February 17, 2025, 4:43pm 6

Example: Programming cooperation - #20 by brebs

Topic		Replies	Views
I don't understand why this query do not terminate Help!	24	1789	March 31, 2022
Why does this predicate change a list with a tail, to a list with two elements, one ground, one var? Help!	15	1860	July 17, 2019
Coding problem Help!	23	1940	September 12, 2020
Series of "procedural" predicates -- removing choice points Help!	33	2386	June 4, 2019
Six ways to iterate in Prolog General	44	14519	June 15, 2019

Pattern Matching Order

Related topics