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.
|