Article View: comp.lang.prolog
Article #3908Re: existential quantification in bagof
From: fuchs
Date: Mon, 13 Feb 1989 17:38
Date: Mon, 13 Feb 1989 17:38
15 lines
860 bytes
860 bytes
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]]
Technical Details
Message-ID:
<293@unizh.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcvax!cernvax!unizh!fuchsReferences:
<1584@kulcs.kulcs.uucp> <16400005@clio>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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