From arnold@basicorange.nl Mon Aug 28 15:27:42 2000 Received: from mail.basicorange.nl (mail.plantict.nl [193.67.108.150]) by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id PAA04251 for ; Mon, 28 Aug 2000 15:27:42 +0200 (MET DST) Received: from basic [62.108.27.63] by mail.basicorange.nl with ESMTP (SMTPD32-6.03) id A84A2DB2016C; Mon, 28 Aug 2000 15:25:30 +0200 Message-ID: <001901c010f3$5f9d1000$7100a8c0@basicorange.com> From: "arnold" To: Subject: code generation Date: Mon, 28 Aug 2000 15:24:54 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0016_01C01104.1DE0FF80" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2615.200 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 This is a multi-part message in MIME format. ------=_NextPart_000_0016_01C01104.1DE0FF80 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable I have a program that, among other things, generates code from a = database. I worked on this program on a UNIX system, with SWI Prolog. = Now i try it on my pc, i downloaded SWI Prolog. I get this error: =20 No permission to modify static procedure 'eval/3'=20 ^ Exception: (12) asserta((eval(gebjaarF(_G106), jaren, = _G116):-.....etc.... ( i'm trying to assert eval clauses ) But why? eval/3 is not a built-in predicate and also it was working = before. Arnold=20 ------=_NextPart_000_0016_01C01104.1DE0FF80 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

I have a program that, among other = things,=20 generates code from a database. I worked on this program on a UNIX = system, with=20 SWI Prolog. Now i try it on my pc, i downloaded SWI Prolog. I get this=20 error:

No permission to modify static = procedure 'eval/3'=20

^ Exception: (12)=20 asserta((eval(gebjaarF(_G106), jaren, _G116):-.....etc....

( i'm trying to assert eval clauses = )

But why? eval/3 is not a built-in = predicate and=20 also it was working before.

Arnold

------=_NextPart_000_0016_01C01104.1DE0FF80--