🚀 go-pugleaf

In article <MATSC.88Sep7095859@skarabe.sics.se> Mats Carlson argues for
another behavior of bagof/setof

I am very glad with it: BIMprolog has always implemented bagof/setof with the
behavior Mats proposes (*) and I think it is very reasonable - although slowing
down some benchmarks


I still have a question:

database:

	p(1,a) .
	p(_,b) .
	p(2,c) .

query:

	?- setof(Y,p(X,Y),L) .

answers:

	SICSTUSprolog:
	
	X = 1 , L = [a,b]
	X = 2 , L = [b,c]


	BIMprolog:
	
	X = 1 , L = [a]
	X = _0 , L = [b]
	X = 2 , L = [c]


	CProlog:
	
	X = 1 , L = [a,b]
	X = 2 , L = [c]

my question is: which is more reasonable and/or useful and/or satisfying ?

(*) BIMprolog gives the answers in the order

	X = _49, L = [a,b] ;
	X = f(_141), L = [a,b] ;
	X = f(_165,_141), L = [a,b] ;
	X = f(_141,_141), L = [a,b] ;

(i.e. the last 2 solutions in a different order)
Mats, was that a misprint in your mail ?