Backward Chaining Goal

Summary

Erases an object from the object base.

Signature

erase variable

Arguments

variable

A a KnowledgeWorks object.

Description

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.

Examples

(erase ?x) ; ?x bound to an object

See also

assert