4.12.7.3 Example: abolish

| ?- compile(user).
| :- dynamic q/1.
| q(1).
| q(2).
| q(3).
| ^D
% user compiled in modules user, 0.117 sec 260 bytes

yes
| ?- q(N), write(N), nl, abolish(q/1), fail.
1
2
3

no
| ?- 

Procedures that are abolished while they have outstanding calls do not become invisible to those calls. Subsequent calls however, will find the procedure undefined.