Path: utzoo!attcan!uunet!mcvax!cernvax!unizh!fuchs
From: fuchs@unizh.UUCP (fuchs)
Newsgroups: comp.lang.prolog
Subject: Re: existential quantification in bagof
Message-ID: <293@unizh.UUCP>
Date: 13 Feb 89 17:38:20 GMT
References: <1584@kulcs.kulcs.uucp> <16400005@clio>
Reply-To: fuchs@gorgo.UUCP ()
Organization: Inst. fuer Informatik, Univ. Zuerich, Switzerland
Lines: 15

In article <16400005@clio> gerdeman@clio.UUCP writes:
>
>This behavior is potentially useful. But, is it intended? Does any other
>Prolog work this way, or is TI-Prolog unique?
>
It is not as the following queries and answers of LPA MacProlog 2.5 
demonstrate. How about other Prologs?

:-  findall(X, on(X, [Y, Z, Y]), S)

N#1		X=_901,Y=_902,Z=_903,S=[_1020, _1022, _1024]

:-  findall(X, X=[Y, Z, Y], S)

N#1		X=_900,Y=_901,Z=_902,S=[[_1019, _1021, _1019]]