From saibaryo@excite.com Wed Apr  4 20:50:53 2001
Received: from ewey.excite.com (ewey-rwcmta.excite.com [198.3.99.191])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f34Ioq322572
	for <prolog@swi.psy.uva.nl>; Wed, 4 Apr 2001 20:50:52 +0200 (MET DST)
Received: from magic.excite.com ([199.172.148.161]) by ewey.excite.com
          (InterMail vM.4.01.02.39 201-229-119-122) with ESMTP
          id <20010404185045.SBMQ20552.ewey.excite.com@magic.excite.com>
          for <prolog@swi.psy.uva.nl>; Wed, 4 Apr 2001 11:50:45 -0700
Message-ID: <12616096.986410245679.JavaMail.imail@magic.excite.com>
Date: Wed, 4 Apr 2001 11:50:45 -0700 (PDT)
From: Ryo Saeba <saibaryo@excite.com>
To: prolog@swi.psy.uva.nl
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Mailer: Excite Inbox
X-Sender-Ip: 147.97.12.175
Subject: [SWIPL] assert() & retract() problems

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/


