Erases an object from the object base.
erase variable
variable
A a KnowledgeWorks object.
The variable must be bound to a KnowledgeWorks CLOS object or a KnowledgeWorks structure.
The given object is removed from the object base of the current inferencing state.
(erase ?x) ; ?x bound to an object
assert
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011