home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / prolog / 2277 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  1019 b 
  1. Path: sparky!uunet!pipex!bnr.co.uk!uknet!qmw-dcs!mmh
  2. From: mmh@dcs.qmw.ac.uk (Matthew Huntbach)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: Occurs check
  5. Message-ID: <1992Dec21.093351.4371@dcs.qmw.ac.uk>
  6. Date: 21 Dec 92 09:33:51 GMT
  7. References: <24435@alice.att.com> <1992Dec17.185017.17766@cs.uoregon.edu> <1992Dec18.190711.1063@quintus.com>
  8. Sender: usenet@dcs.qmw.ac.uk (Usenet News System)
  9. Organization: Computer Science Dept, QMW, University of London, UK.
  10. Lines: 11
  11. Nntp-Posting-Host: coffee.dcs.qmw.ac.uk
  12.  
  13. In article <1992Dec18.190711.1063@quintus.com> ludemann@quintus.com (Peter Ludemann) writes:
  14. >Without the occurs check, "infinite" or "rational" terms can be produced.
  15. >I've seen one practical use for them, for representing the fixpoint
  16. >of a recursive program as a term.  No doubt, there are other uses.
  17. >
  18. Yes, that's one of the things I use them for. I'm working on a
  19. partial evaluator which allows for infinite terms, and
  20. partially eveluates them away to produce recursive logic
  21. programs.
  22.  
  23. Matthew Huntbach
  24.