Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!sun-barr!newstop!exodus!appserv!sun!quintus!tom
From: tom@quintus.UUCP (Tom Howland)
Newsgroups: comp.lang.prolog
Subject: Re: uniqueness test
Message-ID: <1504@quintus.UUCP>
Date: 27 Mar 91 04:23:33 GMT
References: <1538@ipsi.UUCP>
Reply-To: tom@quintus.UUCP (Tom Howland)
Organization: Quintus Computer Systems, Inc.
Lines: 7

Regarding the question about a "unique" predicate,

wouldn't this do it?

unique(X,G):-findall(X,G,L),sort(L,[X]).

- Tom