Previous Up Next

Chapter 11  Dynamic Code



An ECLiPSe predicate can be made dynamic. That is, it can have clauses added and removed from its definition at run time. This chapter discusses how to do this, and what the implications are.




1
It should be remembered that because of the definition of the syntax of a term, to assert a procedure of the form p :- q,r it is necessary to enclose it in parentheses: assert((p:-q,r)).

Previous Up Next