Path: utzoo!attcan!uunet!mcvax!enea!kth!sics!sics.se!matsc
From: matsc@sics.se (Mats Carlsson)
Newsgroups: comp.lang.prolog
Subject: Re: bagof/setof
Message-ID: <MATSC.88Sep14085053@skarabe.sics.se>
Date: 14 Sep 88 06:50:55 GMT
References: <1436@kulcs.kulcs.uucp>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
Lines: 21
In-reply-to: bimbart@kulcs.uucp's message of 12 Sep 88 12:45:32 GMT


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.