home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / prolog / 2255 < prev    next >
Encoding:
Internet Message Format  |  1992-12-20  |  815 b 
  1. Path: sparky!uunet!bcstec!bcsaic!milan
  2. From: milan@bcsaic.boeing.com (Milan Richter)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: Occurs check
  5. Message-ID: <89208@bcsaic.boeing.com>
  6. Date: 17 Dec 92 17:21:08 GMT
  7. References: <1992Dec13.173016.8849@nntp.hut.fi> <1992Dec15.131151.21406@prl.dec.com>
  8. Organization: Boeing Computer Services
  9. Lines: 9
  10.  
  11. In article <1992Dec15.131151.21406@prl.dec.com> vanroy@prl.dec.com (Peter Van Roy) writes:
  12. >The Wild_LIFE system implements unification of psi-terms, which
  13. >renders the occur check superfluous.  Wild_LIFE is an
  14. >implementation of LIFE, a language that elegantly generalizes
  15. >Prolog.  A psi-term is an open-ended dynamic record that may be
  16. >cyclic  (i.e., it is a general rooted graph).
  17.  
  18. Could you please provide references for Wild_LIFE? Thanks.
  19.  
  20. -- Milan Richter, Seattle 
  21.