|• ref-mdb-exa-asz:||Example: assertz|
|• ref-mdb-exa-rtr:||Example: retract|
|• ref-mdb-exa-abo:||Example: abolish|
The following examples show what happens when a procedure is modified while it is running. This can happen in two ways:
In either case, the question arises as to whether the modifications take effect upon backtracking into the modified procedure. In SICStus Prolog the answer is that they don’t. As explained in the overview to this section (see ref-mdb-bas), modifications to a procedure affect only calls to that procedure that occur after the modification.