NextPrevUpTopContentsIndex

erase

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


KnowledgeWorks and Prolog User Guide (Macintosh version) - 29 Feb 2008

NextPrevUpTopContentsIndex