Retract static clauses, can't ?

Article View: comp.lang.prolog

Article #1585

#1585

From: U37956
Date: Wed, 11 Nov 1992 17:38

19 lines
900 bytes

Using Sicstus2.1 Prolog, I want to retract some facts (or clauses) which
were loaded from a file.
   Suppose in  mfile, there are facts:
          johnlikes(mary).
          marylikes(tom).

After starting prolog, i load the facts in the following way:
   |- ? [mfile].

When I try to remove a fact, such as:
   |- ? retract((marylikes(tom))).

I got error message which says static terms can't be retracted.

How can i retract the facts and how can i made the facts dynamic ?

Could anyone tell me?

Thanks in advance.

Technical Details

Message-ID: <92316.113830U37956@uicvm.uic.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!network.ucsd.edu!news.acns.nwu.edu!uicvm.uic.edu!u37956

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!network.ucsd.edu!news.acns.nwu.edu!uicvm.uic.edu!u37956
Organization: University of Illinois at Chicago
Date: Wednesday, 11 Nov 1992 11:38:30 CST
From: <U37956@uicvm.uic.edu>
Message-ID: <92316.113830U37956@uicvm.uic.edu>
Newsgroups: comp.lang.prolog
Subject: Retract static clauses, can't ?
Lines: 19