[eclipse-users] Reloading a file with dynamic predicates

From: Paulo Moura <pmoura_at_...16...>
Date: Sun, 15 Apr 2007 11:08:48 +0100
Hi!

In ECLiPSe, reloading a file containing dynamic directives and  
dynamic predicates fails to restore the original definitions from the  
file. E.g. if the file contains a single clause for a dynamic  
predicate, simply reloading it results in two clauses in memory.  
Reloading it a second time, results in three repeated clauses and so  
on. This is the documented behavior of the compile/1:

"(...) static procedures are redefined by those occurring in the  
compiled file, the clauses of dynamic procedures are appended to the  
existing ones."

Is there any solution to replace the clauses of dynamic predicates  
instead of appending them?

Best regards,

Paulo


-----------------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal

Office 4.3  Ext. 3257
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:pmoura@...16...>

Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/>
-----------------------------------------------------------------
Received on Sun Apr 15 2007 - 11:09:07 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST