home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / prolog / 2351 < prev    next >
Encoding:
Internet Message Format  |  1993-01-11  |  1.1 KB
  1. Path: sparky!uunet!europa.asd.contel.com!howland.reston.ans.net!spool.mu.edu!enterpoop.mit.edu!eru.mt.luth.se!lunic!sunic!news.funet.fi!hydra!hydra!not-for-mail
  2. From: kilpelai@cs.Helsinki.FI (Pekka Kilpelainen)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Re: Logical Update View - history
  5. Message-ID: <1isg7lINN38n@hydra.Helsinki.FI>
  6. Date: 11 Jan 93 19:02:13 GMT
  7. References: <9301111701.AA30562@ifc6000.IFComputer.de>
  8. Distribution: eunet
  9. Organization: University of Helsinki, Department of Computer Science
  10. Lines: 11
  11. NNTP-Posting-Host: hydra.helsinki.fi
  12.  
  13. In <9301111701.AA30562@ifc6000.IFComputer.de> andrew@ifc6000.IFComputer.de (Andrew Verden) writes:
  14.  
  15. > [...} where the 'logical update view' of the Prolog database stemmed from?
  16.  
  17. See T.G. Lindholm and R.A. O'Keefe: "Efficient implementation of a
  18. defensible semantics for dynamic Prolog code" in J.-L. Lassez (ed.):
  19. Logic Programming: Proceedings of the Fourth International Conference, Vol. 1.
  20. MIT Press 1987. pp. 21-39.
  21. -- 
  22. Pekka Kilpela"inen   University of Helsinki    kilpelai@cs.helsinki.fi
  23.                      Dept. of Comp. Sci.       +358 0 708 4227
  24.