Backward Chaining Goal

Syntax

kw-class term

Arguments

term may be any backward chaining term.

Description

This goal can act as a generator and is resatisfiable. It succeeds when term is a symbol which is the name of a KnowledgeWorks class. If term is an unbound variable it generates the names of the KnowledgeWorks classes.

Values

term is bound to the names of KnowledgeWorks classes.

Examples

(kw-class truck) ; succeeds if truck is a KW class

(kw-class ?class)

  ; ?class binds to the name of a KW class

See Also

def-kb-class

def-kb-struct

def-named-kb-class