Article View: comp.lang.prolog
Article #1961Re: uniqueness test
From: Heinz-Ulrich Hoppe
Date: Tue, 26 Mar 1991 16:08
Date: Tue, 26 Mar 1991 16:08
20 lines
750 bytes
750 bytes
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
Technical Details
Message-ID:
<1539@ipsi.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!unido!ipsi!hoppe@ipsi.UUCPReferences:
<1538@ipsi.UUCP>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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