🚀 go-pugleaf

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