Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!nrl-cmf!ukma!tut.cis.ohio-state.edu!ucbvax!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!prlb2!kulcs!bimbart
From: bimbart@kulcs.uucp (Bart Demoen)
Newsgroups: comp.lang.prolog
Subject: existential quantification in bagof and setof
Message-ID: <1584@kulcs.kulcs.uucp>
Date: 6 Feb 89 09:37:09 GMT
Reply-To: bimbart@kulcs.UUCP (Bart Demoen)
Organization: Katholieke Universiteit Leuven, Dept. Computer Science
Lines: 8

<9150@burdvax.PRC.Unisys.COM> lang@pearl.PRC.Unisys.COM (Francois-Michel Lang)
asks:

> I'd be curious to find out if other Prologs work like this.

BIMprolog works like this too - but its documentation is a bit confusing

bimbart@kulcs