Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!unido!ipsi!hoppe@ipsi.UUCP
From: hoppe@ipsi.UUCP (Heinz-Ulrich Hoppe)
Newsgroups: comp.lang.prolog
Subject: Re: uniqueness test
Message-ID: <1539@ipsi.UUCP>
Date: 26 Mar 91 16:08:20 GMT
References: <1538@ipsi.UUCP>
Sender: hoppe@ipsi.UUCP
Lines: 20

Of course, the two predicates unique1 and unique2 have to be defined as:

> unique1(Expr,Goal) :-
> 	copy(Goal,CGoal),
> 	!,
> 	test_unique1(Expr,Goal,CGoal).
	^^^^^^^^^^^^

> unique2(Expr,Goal) :-
> 	copy(p(Expr,Goal),p(CExpr,CGoal)),
> 	call(Goal),
> 	!,
> 	test_unique2(Expr,CExpr,CGoal).
	^^^^^^^^^^^^

Ulrich Hoppe
GMD-IPSI 
Dolivostr. 15
6100 Darmstadt (FRG)
hoppe@ipsi.darmstadt.gmd.dbp.de