Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!rutgers!noao!arizona!debray
From: debray@arizona.edu (Saumya K. Debray)
Newsgroups: comp.lang.prolog
Subject: Re: SBProlog bug? fix? assert, asserta, assertz
Message-ID: <8334@megaron.arizona.edu>
Date: 13 Dec 88 02:51:52 GMT
References: <436@crcc.UUCP> <1600017@otter.hpl.hp.com> <14963@mimsy.UUCP>
Organization: U of Arizona CS Dept, Tucson
Lines: 13

In article <14963@mimsy.UUCP>, anderson@secd.cs.umd.edu (Gary Anderson) writes:
> 
> 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?

It helps to mention what version you're using, and what symptoms the
bug displays.
-- 
Saumya Debray		CS Department, University of Arizona, Tucson

     internet:   debray@arizona.edu
     uucp:       arizona!debray