home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / prolog / 2262 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  1.7 KB
  1. Path: sparky!uunet!spool.mu.edu!uwm.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: <24443@alice.att.com>
  6. Date: 18 Dec 92 20:31:00 GMT
  7. Article-I.D.: alice.24443
  8. References: <1992Dec13.173016.8849@nntp.hut.fi> <1992Dec17.111142.24450@dcs.qmw.ac.uk> <24435@alice.att.com> <1992Dec18.093045.21069@dcs.qmw.ac.uk>
  9. Reply-To: pereira@alice.UUCP ()
  10. Organization: AT&T, Bell Labs
  11. Lines: 27
  12.  
  13. In article <1992Dec18.093045.21069@dcs.qmw.ac.uk> mmh@dcs.qmw.ac.uk (Matthew Huntbach) writes:
  14. >In article <24435@alice.att.com> pereira@alice.UUCP () writes:
  15. >>If you think of Prolog programs as *logic* programs where the logic is
  16. >>(a fragment of) first-order logic, what is wrong it that the answers
  17. >>derived without the occurs-check are in general unsound. 
  18. >Well, yes, I'm aware of this, but Prolog is such a compromised
  19. >form of logic that I wonder if it matters.
  20. Right. Since we've had a hurricane, why not go for an earthquake as well?
  21. More seriously, except for the lack of an occurs check, the original
  22. *pure* Prolog is sound, and *many* interesting deductive tasks can
  23. be coded in pure Prolog. Furthermore, extralogical features like assert
  24. can be used in constrained *logical* ways, eg. for lemma storage,
  25. and the resulting programs would be sound with respect to well-defined
  26. logical systems, *if they were executed with the occurs check.* The
  27. problem with the lack of an occurs check is that it can hit you
  28. in unforeseen and mysterious ways, while the nonlogical parts
  29. of Prolog hit you *only* if you use them unwisely.
  30.  
  31. Fernando Pereira
  32. 2D-447, AT&T Bell Laboratories
  33. 600 Mountain Ave, PO Box 636
  34. Murray Hill, NJ 07974-0636
  35. pereira@research.att.com
  36.  
  37.  
  38.  
  39.  
  40.