Subject: [SWIPL] about assert

From: Rastei Amelia Viorela <[email-masked]>
Date: Tue, 8 May 2001 12:31:58 +0300 (EEST)

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!

-- 

 Amelia Rastei,
 Dept. Computer Science,
 Babes Bolyai University,
 Cluj Napoca, Romania.