home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / prolog / 2240 < prev    next >
Encoding:
Text File  |  1992-12-15  |  1.4 KB  |  35 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!haven.umd.edu!decuac!pa.dec.com!decprl!decprl!vanroy
  3. From: vanroy@prl.dec.com (Peter Van Roy)
  4. Subject: Re: Occurs check
  5. Message-ID: <1992Dec15.131151.21406@prl.dec.com>
  6. Sender: news@prl.dec.com (USENET News System)
  7. Nntp-Posting-Host: prl332.prl.dec.com
  8. Organization: Digital Equipment Corporation - Paris Research Laboratory
  9. References:  <1992Dec13.173016.8849@nntp.hut.fi>
  10. Date: Tue, 15 Dec 1992 13:11:51 GMT
  11. Lines: 22
  12.  
  13. In article <1992Dec13.173016.8849@nntp.hut.fi>, jur@robin.cs.hut.fi (Jussi Rintanen) writes:
  14. > 
  15. > Question 1: What implementations of Prolog implement the occurs check?
  16. > (Our university has both Sicstus and NU-Prolog.)
  17. > 
  18.  
  19. The Wild_LIFE system implements unification of psi-terms, which
  20. renders the occur check superfluous.  Wild_LIFE is an
  21. implementation of LIFE, a language that elegantly generalizes
  22. Prolog.  A psi-term is an open-ended dynamic record that may be
  23. cyclicá (i.e., it is a general rooted graph).
  24.  
  25. Peterá
  26.  
  27. ----------------------------------------------------------------
  28. Peter Van Roy
  29. Digital Equipment Corporation          Net: vanroy@prl.dec.com
  30. Paris Research Laboratory              Tel: (33) (1) 47 14 28 65
  31. 85, avenue Victor Hugo                 Fax: (33) (1) 47 14 28 99
  32. 92500 Rueil-Malmaison Cedex           Home: (33) (1) 30 61 41 29
  33. France
  34. ----------------------------------------------------------------
  35.