[comp.lang.prolog] A question about IF/Prolog

ok@cs.mu.oz.au (Richard O'Keefe) (10/28/89)

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?