home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / prolog / 2284 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  1.1 KB
  1. Path: sparky!uunet!cs.utexas.edu!sdd.hp.com!think.com!enterpoop.mit.edu!eru.mt.luth.se!lunic!sunic!sics.se!torkel
  2. From: torkel@sics.se (Torkel Franzen)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: Occurs check
  5. Message-ID: <TORKEL.92Dec21191138@lludd.sics.se>
  6. Date: 21 Dec 92 18:11:38 GMT
  7. References: <TORKEL.92Dec18231028@lludd.sics.se> <24454@alice.att.com>
  8.     <TORKEL.92Dec20104928@bast.sics.se>
  9.     <1992Dec21.153147.26177@cs.brown.edu>
  10.     <TORKEL.92Dec21175440@bast.sics.se>
  11. Sender: news@sics.se
  12. Organization: Swedish Institute of Computer Science, Kista
  13. Lines: 12
  14. In-Reply-To: torkel@sics.se's message of Mon, 21 Dec 1992 16:54:40 GMT
  15.  
  16.  
  17.   I wrote:
  18.  
  19.    >However, your example doesn't have anything to do with circular terms
  20.    >in particular. You might as well define q by the clause q(b,b).
  21.  
  22.   A clarification: if we take "logical consequence of the program" in
  23. my original formulation to mean consequence in predicate logic with
  24. identity, then q(b,b) cannot be used in the example. (I prefer to formulate
  25. the soundness property in predicate logic without identity.) However,
  26. q might be defined say by q(X,Y) :- X=Y*Y with constraints over the real
  27. numbers.
  28.