home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / prolog / 2246 < prev    next >
Encoding:
Internet Message Format  |  1992-12-17  |  863 b 
  1. Path: sparky!uunet!spool.mu.edu!agate!doc.ic.ac.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: <1992Dec17.111142.24450@dcs.qmw.ac.uk>
  6. Date: 17 Dec 92 11:11:42 GMT
  7. References: <1992Dec13.173016.8849@nntp.hut.fi>
  8. Sender: usenet@dcs.qmw.ac.uk (Usenet News System)
  9. Organization: Computer Science Dept, QMW, University of London, UK.
  10. Lines: 9
  11. Nntp-Posting-Host: coffee.dcs.qmw.ac.uk
  12.  
  13. In article <1992Dec13.173016.8849@nntp.hut.fi> Jussi.Rintanen@hut.fi writes:
  14. >Question 1: What implementations of Prolog implement the occurs check?
  15.  
  16. I have written programs which rely on the occur-check not
  17. happening, since they intentionally build circular structures.
  18. What should be so wrong with this - after all it's a standard
  19. programing feature in lazy functional languages.
  20.  
  21. Matthew Huntbach
  22.