Remove all asserted facts?

From: news.adelphia.net (no-mail-please_at_nospam.com)
Date: 08/25/04


Date: Wed, 25 Aug 2004 11:19:57 -0400

I want to remove all facts that were instantiated by the assert() statement
(I want to reset the Prolog database). I tried:

retractall(_).

But I got an instantiation error. What's the most convenient way to do
this?

Thanks.



Relevant Pages

  • Re: Remove all asserted facts?
    ... > I want to remove all facts that were instantiated by the assert() statement ... > (I want to reset the Prolog database). ... > But I got an instantiation error. ...
    (comp.lang.prolog)
  • Re: Remove all asserted facts?
    ... > (I want to reset the Prolog database). ... > But I got an instantiation error. ... You probably need to keep track of which facts you're likely to assert ...
    (comp.lang.prolog)