From a-doug@microsoft.com Sat Jul 22 01:07:55 2000 Received: from mail2.microsoft.com (mail2.microsoft.com [131.107.3.124]) by swi.psy.uva.nl (8.9.3/8.9.3) with SMTP id BAA14847 for ; Sat, 22 Jul 2000 01:07:54 +0200 (MET DST) Received: from 157.54.9.104 by mail2.microsoft.com (InterScan E-Mail VirusWall NT); Fri, 21 Jul 2000 16:06:21 -0700 (Pacific Daylight Time) Received: by INET-IMC-02 with Internet Mail Service (5.5.2651.58) id ; Fri, 21 Jul 2000 16:06:21 -0700 Message-ID: From: "Douglas Miles (Volt Computer)" To: "'Jason Che-han Yip'" , prolog@swi.psy.uva.nl Subject: RE: Modifying consulted rules Date: Fri, 21 Jul 2000 16:06:31 -0700 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2651.58) Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01BFF368.4EAE7E30" This message is in MIME format. Since your mail reader does not understand this format, some or all of this message may not be legible. ------_=_NextPart_001_01BFF368.4EAE7E30 Content-Type: text/plain; charset="ISO-8859-1" "no permission to modify static procedures" is ussuly due to a syntactical misplacement of a comma or semicollon in code one missing period or one comma can make the prolog engine think you are trying to add your own version of ','(_,_). even when you have predicates that match those in the libray modules .. prolog will ussualy not comp[lain since there is alot of scopeing available. also if you want ot keep track of your objects in Java you can ..but in prolog its very easy to as well .. you can modify any clauses in the proloog database that you ever assert into it..and even delete them, and also predicates declared :-dynamic/1 inline to your source will keep those as if you had asserted them in later.. also if you are bringing in clauses from multiple sources you can alows declaire as :-multifile/1 see this page as well http://www.swi.psy.uva.nl/projects/SWI-Prolog/Manual/sec-3.13.html -----Original Message----- From: Jason Che-han Yip [mailto:yip@ee.ualberta.ca] Sent: Friday, July 21, 2000 3:13 PM To: prolog@swi.psy.uva.nl Subject: Modifying consulted rules I'd like to thank the people who replied to my last question about reseting the database. I ended up having the Java class keep track of what was being asserted so that it could retract everything when a reset() method is called. In any case, on to the next problem... after consulting a file, is it possible to retract or otherwise modify the rules that were consulted? I keep getting an error that says I have no permission to modify static procedures. ---- "Making the complex clear always helps people work smarter. Because it is a lot easier to figure out what's important and ignore what isn't." (Bill Jensen) www.ee.ualberta.ca/~yip ------_=_NextPart_001_01BFF368.4EAE7E30 Content-Type: text/html; charset="ISO-8859-1" Content-Transfer-Encoding: quoted-printable

"no permission to modify static=20 procedures"

is = ussuly due to a=20 syntactical misplacement of a comma or semicollon in=20 code

one = missing period=20 or one comma can make the prolog engine think you are trying to add=20 your own version of ','(_,_).

even = when you have=20 predicates that match those in the libray modules .. prolog will = ussualy not=20 comp[lain

since = there is alot=20 of scopeing available.

also = if you want ot=20 keep track of your objects in Java you can ..but in prolog its very = easy to as=20 well .. you can modify any clauses in the proloog database that = you ever=20 assert into it..and even delete them, and also predicates declared = :-dynamic/1=20 inline to your source will keep those as if you had asserted them in = later..=20 also if you are bringing in clauses from multiple sources you can alows = declaire=20 as :-multifile/1

see this page as well http://www.swi.psy.uva.nl/projects/SWI-Prolog/Manual/sec-3.13.html

-----Original Message-----
From: Jason Che-han Yip = [mailto:yip@ee.ualberta.ca]
Sent: Friday, July 21, 2000 = 3:13=20 PM
To: prolog@swi.psy.uva.nl
Subject: Modifying = consulted=20 rules

I'd like to thank the people who = replied to my=20 last question about reseting the database. I ended up having = the Java=20 class keep track of what was being asserted so that it could retract=20 everything when a reset() method is called.

In any case, on to the next = problem... =20 after consulting a file, is it possible to retract or otherwise=20 modify the rules that were consulted? I keep getting an = error that=20 says I have no permission to modify static procedures. =

----
"Making the complex clear = always helps=20 people work smarter. Because it is a lot easier to figure out what's = important=20 and ignore what isn't."
(Bill Jensen)
www.ee.ualberta.ca/~yip

------_=_NextPart_001_01BFF368.4EAE7E30--