Previous Up Next

Chapter 11  Dynamic Code



Support for dynamic code is provided partly for compatibility with Prolog. Note that ECLiPSeprovides much better primitives (see chapter 9) to support the non-logical storage of information – a major use for dynamic predicates in Prolog.

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