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)).