[eclipse-users] Question about setof/3 (and about @/1)

Hi everybody,

a question about setof/3: The manual states that the result is sorted but I
could not find according to which ordering.  I guess, it's the standart term
order.

How could an implementation of setof/3 look like that uses an arbitrary,
i.e., user-supplied ordering?

Thank you,

Ulrich


BTW, the manual states "This predicate is sensitive to its module context
(tool predicate, see @/1)".  I guess, that sould read "... see @/2)". 


-- 
Ulrich Scholz            

Personal Memory Group                   
European Media Laboratory GmbH