Knowledgebase & Term API

The knowledge base class provides a handle to clauses and operator definitions. The term sub classes mirror the Prolog data types. Primitive data types can be directly constructed via the corresponding term constructors. The common base class for the term sub classes is the class Term. Terms uniformly provide comparison and printing.

This part of the API consists of the following classes: