All Manuals > KnowledgeWorks and Prolog User Guide > 7 Reference Guide

erase Backward Chaining Goal

Summary

Erases an object from the object base.

Package

kw

Signature

erase variable

Arguments
variable
A a KnowledgeWorks object.
Description

The backward chaining goal erase erases an object from the object base.

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 (Unix version) - 01 Dec 2021 19:35:49