Article View: comp.lang.prolog
Article #4226Legitimate uses of "assert"?
From: Frank Pfenning
Date: Tue, 27 Feb 1990 20:31
Date: Tue, 27 Feb 1990 20:31
19 lines
1387 bytes
1387 bytes
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. ----------------------------------------------------------------------
Technical Details
Message-ID:
<8205@pt.cs.cmu.edu>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!ogicse!uwm.edu!cs.utexas.edu!tut.cis.ohio-state.edu!pt.cs.cmu.edu!PROOF.ERGO.CS.CMU.EDU!fpShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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