Re: Occurs check

Article View: comp.lang.prolog

Article #2152

#2152

From: Torkel Franzen
Date: Mon, 21 Dec 1992 18:11

12 lines
1180 bytes

  I wrote:

   >However, your example doesn't have anything to do with circular terms
   >in particular. You might as well define q by the clause q(b,b).

  A clarification: if we take "logical consequence of the program" in
my original formulation to mean consequence in predicate logic with
identity, then q(b,b) cannot be used in the example. (I prefer to formulate
the soundness property in predicate logic without identity.) However,
q might be defined say by q(X,Y) :- X=Y*Y with constraints over the real
numbers.

Technical Details

Message-ID: <TORKEL.92Dec21191138@lludd.sics.se>

Path:

arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!sdd.hp.com!think.com!enterpoop.mit.edu!eru.mt.luth.se!lunic!sunic!sics.se!torkel

References:

<TORKEL.92Dec18231028@lludd.sics.se> <24454@alice.att.com> <TORKEL.92Dec20104928@bast.sics.se> <1992Dec21.153147.26177@cs.brown.edu> <TORKEL.92Dec21175440@bast.sics.se>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!sdd.hp.com!think.com!enterpoop.mit.edu!eru.mt.luth.se!lunic!sunic!sics.se!torkel
From: torkel@sics.se (Torkel Franzen)
Newsgroups: comp.lang.prolog
Subject: Re: Occurs check
Message-ID: <TORKEL.92Dec21191138@lludd.sics.se>
Date: 21 Dec 92 18:11:38 GMT
References: <TORKEL.92Dec18231028@lludd.sics.se> <24454@alice.att.com>
 <TORKEL.92Dec20104928@bast.sics.se>
 <1992Dec21.153147.26177@cs.brown.edu>
 <TORKEL.92Dec21175440@bast.sics.se>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
Lines: 12
In-Reply-To: torkel@sics.se's message of Mon, 21 Dec 1992 16:54:40 GMT

Reply to Parent Message