From jan@swi.psy.uva.nl  Mon Aug 28 15:55:44 2000
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.152.30])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id PAA07080;
	Mon, 28 Aug 2000 15:55:44 +0200 (MET DST)
Received: from localhost (localhost [[UNIX: localhost]])
	by gollem.swi.psy.uva.nl (8.9.3/8.9.3/SuSE Linux 8.9.3-0.1) id PAA09560;
	Mon, 28 Aug 2000 15:55:47 +0200
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Organization: SWI, University of Amsterdam
To: "arnold" <arnold@basicorange.nl>, <prolog@swi.psy.uva.nl>
Subject: Re: code generation
Date: Mon, 28 Aug 2000 15:54:21 +0200
X-Mailer: KMail [version 1.0.28]
Content-Type: text/plain
References: <001901c010f3$5f9d1000$7100a8c0@basicorange.com>
In-Reply-To: <001901c010f3$5f9d1000$7100a8c0@basicorange.com>
MIME-Version: 1.0
Message-Id: <00082815554601.06222@gollem>
Content-Transfer-Encoding: 8bit

On Mon, 28 Aug 2000, arnold wrote:
>
>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:
> 
>No permission to modify static procedure 'eval/3' 
>^  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.

Most likely you have eval/3 clauses in your program and they are nog
flagged using :-dynamic eval/3.

This has nothing to do with Unix<->PC, but just with recent versions of
SWI-Prolog that enforce most of the ISO standard.

	Regards --- Jan

