existential quantification in bagof and setof

Article View: comp.lang.prolog

Article #3895

#3895

From: Bart Demoen
Date: Mon, 06 Feb 1989 09:37

8 lines
721 bytes

<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

Technical Details

Message-ID: <1584@kulcs.kulcs.uucp>

Path:

arc1-ca.pugleaf.net!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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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