From mrstarke@hotmail.com Wed Apr  4 21:21:34 2001
Received: from hotmail.com (f24.law8.hotmail.com [216.33.241.24])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f34JLY324154
	for <prolog@swi.psy.uva.nl>; Wed, 4 Apr 2001 21:21:34 +0200 (MET DST)
Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC;
	 Wed, 4 Apr 2001 12:21:27 -0700
Received: from 200.192.116.18 by lw8fd.law8.hotmail.msn.com with HTTP;	Wed, 04 Apr 2001 19:21:27 GMT
X-Originating-IP: [200.192.116.18]
From: "Marcio Starke" <mrstarke@hotmail.com>
To: prolog@swi.psy.uva.nl
Subject: Re: [SWIPL] assert() & retract() problems
Date: Wed, 04 Apr 2001 19:21:27 
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1; format=flowed
Message-ID: <F24k31TZ14eBa1kg3Am00000ea0@hotmail.com>
X-OriginalArrivalTime: 04 Apr 2001 19:21:27.0762 (UTC) FILETIME=[722D1B20:01C0BD3C]


do you tried the predicate dynamic?

:- dynamic(person_course/4).


>From: Ryo Saeba <saibaryo@excite.com>
>To: prolog@swi.psy.uva.nl
>Subject: [SWIPL] assert() & retract() problems
>Date: Wed, 4 Apr 2001 11:50:45 -0700 (PDT)
>
>Hi everyone:
>
>   When I use SWI-prolog version 3.2.8 to run my program
>
>person_course(bryce, 2000, spring, cs5393).
>person_course(bryce, 2000, fall, cs6623).
>person_course(bryce, 2001, spring, cs6673).
>
>Then I type
>   ?- retract( person_course(bryce, 2001, spring, cs6673) ).
>or
>   ?- assert( person_course(bryce, 2001, spring, cs6703) ).
>
>there is no problem at all.
>However, when I run the same program in SWI-prolog
>Version 3.4.4 , I tried to use retract() or assert ()
>The computer will show me
>
>   ERROR: No permition to modify the static_percedure
>   'person_course/4'
>
>I don't know this is a bug in Version 3.4.4 or not.
>And would anybody can tell me how can I fix my problems?
>
>Thank you!
>
>Ryo
>
>
>
>
>
>_______________________________________________________
>Send a cool gift with your E-Card
>http://www.bluemountain.com/giftcenter/
>
>
>
>----------------
>* To UNSUBSCRIBE, please use the HTML form at
>
>     http://www.swi.psy.uva.nl/projects/SWI-Prolog/index.html#mailinglist
>
>or send mail to prolog-request@swi.psy.uva.nl using the Subject: 
>"unsubscribe"
>(without the quotes) and *no* message body.
>
>** An ARCHIVE of this list is maintained at
>
>     http://www.swi.psy.uva.nl/projects/SWI-Prolog/mailinglist/archive/
>

_________________________________________________________________________
Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com.

