Article View: comp.lang.prolog
Article #1586Re: Retract static clauses, can't ?
From: David I Schwartz
Date: Wed, 11 Nov 1992 21:11
Date: Wed, 11 Nov 1992 21:11
24 lines
1324 bytes
1324 bytes
> In article <92316.113830U37956@uicvm.uic.edu>, U37956@uicvm.uic.edu writes... > >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: > > |- ? [Omfile]. > > > >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. You can try abolish (ie, abolish(marylikes/1) ) but it is rather extreme. Dave
Technical Details
Message-ID:
<BxKLHy.Foy@acsu.buffalo.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!iggy.GW.Vitalink.COM!cs.widener.edu!dsinc!ub!acsu.buffalo.edu!ubvmsb.cc.buffalo.edu!v104n55kReferences:
<92316.113830U37956@uicvm.uic.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!iggy.GW.Vitalink.COM!cs.widener.edu!dsinc!ub!acsu.buffalo.edu!ubvmsb.cc.buffalo.edu!v104n55k From: v104n55k@ubvmsb.cc.buffalo.edu (David I Schwartz) Newsgroups: comp.lang.prolog Subject: Re: Retract static clauses, can't ? Message-ID: <BxKLHy.Foy@acsu.buffalo.edu> Date: 11 Nov 92 21:11:00 GMT References: <92316.113830U37956@uicvm.uic.edu> Sender: nntp@acsu.buffalo.edu Organization: University at Buffalo Lines: 24 News-Software: VAX/VMS VNEWS 1.41 Nntp-Posting-Host: ubvmsb.cc.buffalo.edu