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