home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / prolog / 2283 < prev    next >
Encoding:
Internet Message Format  |  1992-12-21  |  757 b 
  1. Path: sparky!uunet!noc.near.net!hri.com!spool.mu.edu!uwm.edu!zaphod.mps.ohio-state.edu!cs.utexas.edu!torn!nott!cunews!bond
  2. From: bond@sce.carleton.ca (Greg Bond)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Recursive program fixpoint as a term
  5. Message-ID: <bond.724959323@regulus.sce.carleton.ca>
  6. Date: 21 Dec 92 17:35:23 GMT
  7. Sender: news@cunews.carleton.ca (News Administrator)
  8. Organization: Carleton University
  9. Lines: 10
  10.  
  11. In the discussion concerning the occurs check, two respondents
  12. mentioned representing recursive program fixpoints as terms. Could
  13. someone give me some references on this topic?
  14.  
  15. --
  16. Greg Bond   ----->   bond@sce.carleton.ca  (613) 788 2600 (ext.1835)
  17. Dept. of Systems and Computer Engineering, Carleton University
  18. Ottawa, ON, Canada K1S 5B6
  19.