Article View: comp.lang.prolog
Article #2467Re: Logical Update View - history
From: 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
Technical Details
Message-ID:
<1isg7lINN38n@hydra.Helsinki.FI>Path:
arc1-ca.pugleaf.net!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-mailReferences:
<9301111701.AA30562@ifc6000.IFComputer.de>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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 From: kilpelai@cs.Helsinki.FI (Pekka Kilpelainen) Newsgroups: comp.lang.prolog Subject: Re: Logical Update View - history Message-ID: <1isg7lINN38n@hydra.Helsinki.FI> Date: 11 Jan 93 19:02:13 GMT References: <9301111701.AA30562@ifc6000.IFComputer.de> Distribution: eunet Organization: University of Helsinki, Department of Computer Science Lines: 11 NNTP-Posting-Host: hydra.helsinki.fi