[eclipse-users] Reloading a file with dynamic predicates

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_at_...16...>

Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/>
-----------------------------------------------------------------