home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / prolog / 2271 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  1.7 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!att!allegra!alice!pereira
  2. From: pereira@alice.att.com (Fernando Pereira)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: Occurs check
  5. Message-ID: <24454@alice.att.com>
  6. Date: 20 Dec 92 02:05:36 GMT
  7. Article-I.D.: alice.24454
  8. References: <1992Dec13.173016.8849@nntp.hut.fi> <1992Dec17.111142.24450@dcs.qmw.ac.uk> <24435@alice.att.com> <TORKEL.92Dec17201903@bast.sics.se> <24439@alice.att.com> <TORKEL.92Dec18231028@lludd.sics.se>
  9. Reply-To: pereira@alice.UUCP ()
  10. Organization: AT&T, Bell Labs
  11. Lines: 23
  12.  
  13. In article <TORKEL.92Dec18231028@lludd.sics.se> torkel@sics.se (Torkel Franzen) writes:
  14. >In article <24439@alice.att.com> pereira@alice.att.com (Fernando Pereira)
  15. > writes:
  16. >   >No, it is not too strong. I think you are confusing deduction in
  17. >   >an interpreted system (eg. Horn clauses over the domain of finite trees,
  18. >   >or of rational trees) with deduction that yields consequences true
  19. >   >in any model, that is, valid consequences.
  20. >  There is no confusion involved. It is merely a matter of "valid
  21. >consequences of what". The answers yielded by a Prolog system using
  22. >unification without occurs check are consequences in first order logic
  23. >of the clauses of the program together with the first order identity
  24. >theory of rational trees.
  25. I agree. Adding the first-order theory of rational trees to the left of the
  26. |- is precisely restricting the class of models under consideration
  27. from arbitrary first-order models to rational tree models. For some
  28. applications this is fine, but as I pointed out earlier for many others
  29. it is not. In any case, one needs to be *very* clear about what one
  30. is assuming to the left of the |-. 
  31.  
  32. Fernando Pereira
  33. pereira@research.att.com
  34.  
  35.  
  36.