🚀 go-pugleaf

Bart Demoen writes:
>I still have a question:
>database:  p(1,a). p(_,b). p(2,c). 
>query:     ?- setof(Y,p(X,Y),L).
>answers:
>...

As of version 0.6 #6, SICStus Prolog answers:

	X = _49, L = [b] ;
	X = 1, L = [a] ;
	X = 2, L = [c] ;

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

No.  I consider the order immaterial.  It depends on exactly how
you go about renaming variables.