From jan@swi.psy.uva.nl Tue May  8 12:30:02 2001
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.152.30])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f48AU2315444;
	Tue, 8 May 2001 12:30:02 +0200 (MET DST)
Received: from localhost (localhost [[UNIX: localhost]])
	by gollem.swi.psy.uva.nl (8.11.2/8.11.2/SuSE Linux 8.11.1-0.5) id f48AU1s07536;
	Tue, 8 May 2001 12:30:01 +0200
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Organization: SWI, University of Amsterdam
To: Rastei Amelia Viorela <ra27946@SCS.UBBCluj.Ro>, <prolog@swi.psy.uva.nl>
Subject: Re: [SWIPL] about assert
Date: Tue, 8 May 2001 12:26:35 +0200
X-Mailer: KMail [version 1.0.29.2]
Content-Type: text/plain
References: <Pine.LNX.4.30.0105081230110.21753-100000@Heavy.SCS.UBBCluj.Ro>
In-Reply-To: <Pine.LNX.4.30.0105081230110.21753-100000@Heavy.SCS.UBBCluj.Ro>
MIME-Version: 1.0
Message-Id: <01050812300100.07292@gollem>
Content-Transfer-Encoding: 8bit

On Tue, 08 May 2001, Rastei Amelia Viorela wrote:
>Why do I get errors in this case:
>
> :-dynamic
>	from/1.
>
> from(mures).
> test(X):-assert(from(X)).
>
> ?-test(cluj).
>  ERROR: No permission to modify static_procedure `from/1'
>  ^  Exception:
>
>  THANK YOU!

You shouldn't (and I don't).  I cannot recall any bugs in this area,
so maybe you are doing something different than I think your are doing.
I created a file dyn.pl with content

------------------------------------------------
:-dynamic
	from/1.

from(mures).
test(X):-assert(from(X)).

test :-
	test(cluj).
------------------------------------------------

I loaded this file and then typed test. to the prompt.

Please give details (version, what exactly you are doing how).

	--- Jan

