Search code examples
prologprolog-setof

Duplicate solutions

I have a problem trying to get some code that returns unique answers to my query. For example, defining

stuff(A,B,C) :- A=C ; B=C.
morestuff([],[],[]).
morestuff([A|AA],[B|BB],[C|CC]) :- stuff(A,B,C), morestuff(AA,BB,CC).

then running

morestuff([A,A],[A,B],[a,b]).

gives the output:

A = a
B = b ? ;

A = a
B = b ? ;

yes.

As you can see the two solutions are the same. Is there a way of just getting PROLOG to return the unique solutions, i,e. give the output:

A = a
B = b ? ;

yes.
Solution

  • You can also use

    | ?- setof(sol(A,B),morestuff([A,A],[A,B],[a,b]),L).
L = [sol(a,b)] ? 
yes