Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!bradley
From: bradley@cs.utexas.edu (Bradley L. Richards)
Newsgroups: comp.lang.prolog
Subject: Quintus Prolog Problem
Message-ID: <264@messina.cs.utexas.edu>
Date: 13 Nov 90 22:35:16 GMT
Organization: Dept of Computer Sciences, UTexas, Austin
Lines: 15

As near as I can tell, setof and bagof don't work properly with the
"recorded" predicate in Quintus Prolog (version 2.5.1, sun3-4.0).

If I record:  recorda(woof, term2, _),
              recorda(woof, term1, _).

and then query:  setof(X, recorded(woof, X, _), Set).

I receive the answer Set = [term2], and on backtracking the answer
Set - [term1].  It seems to me that I should receive a single answer
Set - [term1, term2].

Am I missing something?  Or is this a known bug?

Bradley