kw-class

Backward Chaining Goal

Summary

Matches all KnowledgeWorks class names.

Signature

kw-class
term

Arguments

term

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.