class |
Constant |
A Constant represents an constant object in the world of
a logical language.
|
class |
FunctionalTerm |
A functional term in a logic language, i.e.
|
class |
NumberTerm |
This is a term representing an integer number it is used
to distinguish between objects like an auto a which is
modeled as constant and integral numbers like 42.
|
class |
StringTerm |
This class represents terms which are objects identified by a
string.
|
class |
Variable |
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|