Dynamic Code

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

- Compiling Procedures as Dynamic or Static
- Altering programs at run time

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