Thread View: comp.lang.prolog
3 messages
3 total messages
Started by Andrew Verden
Mon, 11 Jan 1993 17:05
Logical Update View - history
Author: Andrew Verden
Date: Mon, 11 Jan 1993 17:05
Date: Mon, 11 Jan 1993 17:05
16 lines
955 bytes
955 bytes
Hi, Does anyone know / remember where the 'logical update view' of the Prolog database stemmed from. For use with assert/retract predicates. Obviously it is what we want but how did we get it? Any good references to Prolog texts describing it to first-timers would also be apreciated. Andrew -- Dr. Andrew R. Verden, InterFace Computer GmbH, email: andrew@IFComputer.de Postfach 12 07 40, Tel: +49 89 510 86-36 Garmischer Str. 4, Fax: +49 89 510 86-28 8000 Muenchen 12.
Re: Logical Update View - history
Author: Pekka Kilpelainen
Date: Mon, 11 Jan 1993 19:02
Date: Mon, 11 Jan 1993 19:02
11 lines
1130 bytes
1130 bytes
In <9301111701.AA30562@ifc6000.IFComputer.de> andrew@ifc6000.IFComputer.de (Andrew Verden) writes:
> [...} where the 'logical update view' of the Prolog database stemmed from?
See T.G. Lindholm and R.A. O'Keefe: "Efficient implementation of a
defensible semantics for dynamic Prolog code" in J.-L. Lassez (ed.):
Logic Programming: Proceedings of the Fourth International Conference, Vol. 1.
MIT Press 1987. pp. 21-39.
--
Pekka Kilpela"inen University of Helsinki kilpelai@cs.helsinki.fi
Dept. of Comp. Sci. +358 0 708 4227
Re: Logical Update View - history
Author: Tim Lindholm
Date: Tue, 12 Jan 1993 21:21
Date: Tue, 12 Jan 1993 21:21
23 lines
1587 bytes
1587 bytes
In article <9301111701.AA30562@ifc6000.IFComputer.de>, andrew@ifc6000.IFComputer.de (Andrew Verden) writes: > Hi, > Does anyone know / remember where the 'logical update view' of the > Prolog database stemmed from. For use with assert/retract predicates. > Obviously it is what we want but how did we get it? > Any good references to Prolog texts describing it to first-timers > would also be apreciated. > > Andrew The idea and terminology was introduced in "Efficient Implementation of a Defensible Semantics for Dynamic Prolog Code", by Richard O'Keefe and I, in the Proceedings of the Fourth International Conference on Logic Programming, published by the MIT Press. The presentation in that paper motivates the idea and develops the implementation from a "vanilla" WAM. It should be accessible to anyone who knows how a WAM works. -- Tim Tim Lindholm Manager, Prolog Technology Group Quintus Corporation InterNet: tim@quintus.com 2100 Geng Road FAX: 415 494 7608 Palo Alto, California 94303 Phone: 415 813 3844
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads