Path: utzoo!attcan!uunet!lll-winken!lll-lcc!ames!xanth!nic.MR.NET!shamash!rosevax!ems!srcsip!pokey!murthy
From: murthy@pokey.SRC.Honeywell.COM (Madhu Murthy)
Newsgroups: comp.lang.prolog
Subject: Re: SBProlog bug? fix? assert, asserta, assertz
Message-ID: <13695@srcsip.UUCP>
Date: 19 Dec 88 15:48:17 GMT
References: <436@crcc.UUCP> <1600017@otter.hpl.hp.com> <14963@mimsy.UUCP> <8334@megaron.arizona.edu>
Sender: news@src.honeywell.COM
Lines: 7
In-reply-to: debray@arizona.edu's message of 13 Dec 88 02:51:52 GMT


Hi: While the bug is being fixed, try using $assert, $retract instead. They
work on my version 2.5 (assert, retract don't). Incidentally all the
builtin predicates (like recorda, recorded, erase) that use assert, and
retract won't work either. If you'd like the patch code (for recorda,
recorded, erase) in the interim, send me mail.

Madhu