Path: utzoo!attcan!uunet!lll-winken!lll-tis!ames!ncar!tank!mimsy!secd.cs.umd.edu!anderson
From: anderson@secd.cs.umd.edu (Gary Anderson)
Newsgroups: comp.lang.prolog
Subject: SBProlog bug? fix? assert, asserta, assertz
Message-ID: <14963@mimsy.UUCP>
Date: 12 Dec 88 22:35:16 GMT
References: <436@crcc.UUCP> <1600017@otter.hpl.hp.com>
Sender: nobody@mimsy.UUCP
Reply-To: anderson@secd.cs.umd.edu (Gary Anderson)
Organization: UMIACS, Univ. of Maryland, College Park, MD 20742
Lines: 28


The version of SBProlog which I have does not 
implement assert, asserta, assertz correctly.
A clause containing any of the asserts often fails.


Has anyone else encountered and or fixed this bug?

Does anyone have a version of SBProlog on a SUN-3
which does not have these problems?

Are there other relatively cheap or free Prolog interpreters for Sun-3's 
which I could use instead? (I'd like a version I can ftp if possible.)

Anyone have ideas about how hard it would be for 
me (New to prolog, familiar with C and unix) to fix the assert problem?
-- 
              Gary S. Anderson               | Macondo was already a fearful
                                             | whirlwind of dust and rubble ...
              +-+-+-+-+-+-+-+-+-+-+-+-+      | when Aureliano ... began to 
      email:  anderson@secd.cs.umd.edu       | decipher the instant that he
 U.S. Snail:  University of Maryland         | was living ... Before reaching
              Department of Economics        | the final line [of the
              Room 3147c Tydings Hall        | parchments], he  understood
              College Park, MD 20742         | that ... . Everything 
      Voice:  (301)-454-6356                 | written on them was unrepeatable
----------------------------------------------since time immemorial and forever
more because races condemned to one hundred years of solitude did not have a
second opportunity on earth.  (Gabriel Garcia Marquez)