home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / prolog / 2304 < prev    next >
Encoding:
Text File  |  1992-12-23  |  1.1 KB  |  26 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!mcsun!ub4b!news.cs.kuleuven.ac.be!bimbart
  3. From: bimbart@cs.kuleuven.ac.be (Bart Demoen)
  4. Subject: rational term unification and conservation of sharing
  5. Message-ID: <1992Dec23.164243.14195@cs.kuleuven.ac.be>
  6. Sender: news@cs.kuleuven.ac.be
  7. Nntp-Posting-Host: hera.cs.kuleuven.ac.be
  8. Organization: Dept. Computerwetenschappen K.U.Leuven
  9. Date: Wed, 23 Dec 1992 16:42:43 GMT
  10. Lines: 14
  11.  
  12. Olivier Ridoux wrote:
  13. > Moral: rational term unification and conservation of sharing are
  14. > rather independent issues.
  15.  
  16. Sure, but I didn't claim that rational term unification and conservation of
  17. sharing are dependent, rather that making the built-in predicates support
  18. cyclic terms, leads to conservation of sharing - and of course this is not
  19. strictly true either, because one has always the freedom to mess things up.
  20.  
  21. E.g. if one makes copy_term/2 such that it can make a finite copy of a cyclic
  22. term, one can as well make a copy with the same internal sharing as the
  23. original term - and in fact I think one has messed things up if not.
  24.  
  25. Bart Demoen
  26.