Duplicate solutions

Question

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.

This question has been already discussed in http://stackoverflow.com/questions/724358/ — Kaarel, Oct 03 '10 at 16:50

score 3 · Accepted Answer · answered Oct 06 '10 at 19:25

3

You can also use

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

answered Oct 06 '10 at 19:25

Michael Leuschel

46
1

score 1 · Answer 2 · answered Oct 03 '10 at 15:46

1

The only way that I know is to use findall/3 to generate all results, then remove duplicates yourself. (Barring the most obvious solution - avoid algorithms that overgenerate; but then, in many cases you can't do that.)

answered Oct 03 '10 at 15:46

Amadan

191,408
23
240
301

Duplicate solutions

2 Answers2