home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / prolog / 2294 < prev    next >
Encoding:
Text File  |  1992-12-22  |  1.1 KB  |  26 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!mcsun!sunic!sics.se!torkel
  3. From: torkel@sics.se (Torkel Franzen)
  4. Subject: Re: Occurs check
  5. In-Reply-To: smolka@dfki.uni-sb.de's message of 22 Dec 1992 16:20:21 +0100
  6. Message-ID: <TORKEL.92Dec22170711@lludd.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <TORKEL.92Dec18231028@lludd.sics.se> <24454@alice.att.com>
  10.     <TORKEL.92Dec20104928@bast.sics.se>
  11.     <1992Dec21.153147.26177@cs.brown.edu>
  12.     <1h7bnlINN5es@eagle.dfki.uni-sb.de>
  13. Date: Tue, 22 Dec 1992 16:07:11 GMT
  14. Lines: 10
  15.  
  16. In article <1h7bnlINN5es@eagle.dfki.uni-sb.de> smolka@dfki.uni-sb.de
  17.  (Gert Smolka) writes:
  18.  
  19.    >This is the perfect answer with respect to
  20.    >rational trees (there is exactly one X such that X=f(X)).
  21.  
  22.   Yes, but the point made by Mark Johnson was that Prolog does not return
  23. as an answer the conjunction C(X)&C'(Y) for which C(X)&C'(Y)->p(X) follows
  24. logically from program, but instead returns C(X), which is a simplified form
  25. of C(X)&C'(Y), equivalent to EY(C(X)&C'(Y)) only in the constraint theory.
  26.