home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / prolog / 2352 < prev    next >
Encoding:
Text File  |  1993-01-11  |  1022 b   |  30 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: Re: Logical Update View - history
  5. Message-ID: <1993Jan11.205158.22298@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: Mon, 11 Jan 1993 20:51:58 GMT
  10. Lines: 18
  11.  
  12. andrew@ifc6000.IFComputer.de (Andrew Verden) writes:
  13.  
  14. > Obviously it is what we want but how did we get it?
  15. The ISO committee on Prolog standardisation found it impossible to decide
  16. on this issue until
  17.  
  18. E. Boerger, B. Demoen `A framework to specify database update views for Prolog'
  19. Proceedings of the Third International Symposium on Programming Language 
  20. Implementation and Logic Programming Passau, August 1991, pp. 147-158
  21.  
  22.  
  23. The following paper also contains something about the logical update view:
  24.  
  25. C. Moss "Cut and Paste - Defining the impure primitives of Prolog" ICLP 86
  26. 686-694, 1986 London
  27.  
  28.  
  29. Bart Demoen
  30.