home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / prolog / 2350 < prev    next >
Encoding:
Internet Message Format  |  1993-01-11  |  927 b 

  1. Path: sparky!uunet!pipex!doc.ic.ac.uk!sot-ecs!andrew
  2. From: andrew@ifc6000.IFComputer.de (Andrew Verden)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Logical Update View - history
  5. Message-ID: <9301111701.AA30562@ifc6000.IFComputer.de>
  6. Date: 11 Jan 93 17:05:25 GMT
  7. Sender: daemon@ecs.soton.ac.uk
  8. Organization: InterFace Computer GmbH Garmischer Str. 4 D-8000 Muenchen 2
  9. Lines: 16
  10. X-Organization:               GERMANY
  11. X-Mailer: ELM [version 2.3 PL0]
  12.  
  13. Hi,
  14.     Does anyone know / remember where the 'logical update view' of the
  15. Prolog database stemmed from. For use with assert/retract predicates.
  16. Obviously it is what we want but how did we get it?
  17.     Any good references to Prolog texts describing it to first-timers
  18. would also be apreciated.
  19.  
  20. Andrew
  21.  
  22. -- 
  23. Dr. Andrew R. Verden,
  24.  
  25. InterFace Computer GmbH,    email:  andrew@IFComputer.de
  26. Postfach 12 07 40,        Tel:    +49 89 510 86-36
  27. Garmischer Str. 4,        Fax:    +49 89 510 86-28
  28. 8000 Muenchen 12.
  29.