Path: utzoo!attcan!uunet!ogicse!uwm.edu!cs.utexas.edu!tut.cis.ohio-state.edu!pt.cs.cmu.edu!PROOF.ERGO.CS.CMU.EDU!fp
From: fp@PROOF.ERGO.CS.CMU.EDU (Frank Pfenning)
Newsgroups: comp.lang.prolog
Subject: Legitimate uses of "assert"?
Message-ID: <8205@pt.cs.cmu.edu>
Date: 27 Feb 90 20:31:37 GMT
Organization: Carnegie-Mellon University, CS/RI
Lines: 19

I am looking for papers/reports/code/information on "legitimate" uses
of "assert" and "retract" in logic programming, that is, uses which are
considered to be in good taste by the connoisseurs of the field.
Actually, come to think of it, scathing remarks concerning the illegitimate
use of assert and retract would also be appreciated.

Also, the latest paper on the efficient implementation of assert I
have is from the Fourth International Conference (Lindholm & O'Keefe:
Efficient Implementation of a Defensible Semantics for Dynamic Prolog
Code).  Pointers to more recent "assert" compilation papers would be
appreciated.

   - Frank Pfenning
----------------------------------------------------------------------
Frank Pfenning                       Telephone: (412) 268-6343            
School of Computer Science	     InterNet: fp@cs.cmu.edu               
Carnegie Mellon University           
Pittsburgh, PA 15213-3890, U.S.A.
----------------------------------------------------------------------