home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / prolog / 2356 < prev    next >
Encoding:
Text File  |  1993-01-12  |  1.5 KB  |  37 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!infonode!ingr!capalo!quintus!quintus!tim
  3. From: tim@quintus.com (Tim Lindholm)
  4. Subject: Re: Logical Update View - history
  5. Message-ID: <1993Jan12.212133.21981@quintus.com>
  6. Sender: news@quintus.com (USENET news account)
  7. Nntp-Posting-Host: gladys
  8. Organization: Quintus Corporation, Palo Alto, CA
  9. References:  <9301111701.AA30562@ifc6000.IFComputer.de>
  10. Date: Tue, 12 Jan 1993 21:21:33 GMT
  11. Lines: 24
  12.  
  13. In article <9301111701.AA30562@ifc6000.IFComputer.de>, andrew@ifc6000.IFComputer.de (Andrew Verden) writes:
  14. > Hi,
  15. >     Does anyone know / remember where the 'logical update view' of the
  16. > Prolog database stemmed from. For use with assert/retract predicates.
  17. > Obviously it is what we want but how did we get it?
  18. >     Any good references to Prolog texts describing it to first-timers
  19. > would also be apreciated.
  20. > 
  21. > Andrew
  22.  
  23. The idea and terminology was introduced in "Efficient Implementation of a
  24. Defensible Semantics for Dynamic Prolog Code", by Richard O'Keefe and I,
  25. in the Proceedings of the Fourth International Conference on Logic
  26. Programming, published by the MIT Press.  The presentation in that paper
  27. motivates the idea and develops the implementation from a "vanilla" WAM.
  28. It should be accessible to anyone who knows how a WAM works.
  29.  
  30. -- Tim
  31.  
  32. Tim Lindholm                Manager, Prolog Technology Group
  33. Quintus Corporation                     InterNet:       tim@quintus.com
  34. 2100 Geng Road                          FAX:            415 494 7608
  35. Palo Alto, California 94303             Phone:          415 813 3844
  36.  
  37.