| Class | Description |
|---|---|
| CompoundPrologTerm |
Represents a prolog term that consists of a functor and an (optional) list of
arguments.
|
| IntegerPrologTerm |
Represents a Prolog integer.
|
| ListPrologTerm |
Represents a Prolog list.
|
| PrologTerm |
This is the abstract base class for Prolog terms
|
| VariablePrologTerm |
Represents a Prolog variable.
|