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

kw-class Backward Chaining Goal

Summary

Matches all KnowledgeWorks class names.

Package

kw

Signature

kw-class term

Arguments
term
Any backward chaining term.
Description

The backward chaining goal kw-class matches all KnowledgeWorks class names. It can act as a generator and can be resatisfied. 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.

Examples
(kw-class truck)  ; succeeds if truck is a KW class
(kw-class ?class)
  ; ?class is bound to the name of a KW class
See also

def-kb-class
def-kb-struct
def-named-kb-class


KnowledgeWorks and Prolog User Guide (Macintosh version) - 01 Dec 2021 19:35:35