Path: utzoo!attcan!uunet!munnari.oz.au!cs.mu.oz.au!ok
From: ok@cs.mu.oz.au (Richard O'Keefe)
Newsgroups: comp.lang.prolog
Subject: A question about IF/Prolog
Message-ID: <2563@munnari.oz.au>
Date: 28 Oct 89 12:20:20 GMT
Sender: news@cs.mu.oz.au
Lines: 8

I recently received two Prolog books from Prentice-Hall.  I'm going to
post reviews of them to the net (summary: stick with Sterling & Shapiro),
but before I do that I'd like to check my facts about one of them.  That
book is based on IF/Prolog, and it describes findall/3 but not setof/3
or bagof/3.  My recollection is that IF/Prolog did not provide setof/3
or bagof/3.  Could someone who has a current IF/Prolog release or a
current IF/Prolog manual say whether IF/Prolog provides setof/3 and
bagof/3 now or not?