Class | Description |
---|---|
AbstractVar |
An abstract Prolog variable.
|
Atom |
A class reifying a logic atom
|
Compound |
A class reifying a logic compound term
|
FloatTerm |
A class reifying a logic float term
|
Functor | |
IntegerTerm |
A class reifying a logic integer term
|
JRef<T> | |
JRef.StrongJRef<T> | |
JRef.WeakJRef<T> | |
ListTerm | |
NumberTerm | |
SerializedTerm | |
Term |
Implementations of this interface are Java representations of Prolog Terms (i.e., Prolog data types)
Disclaimer: First versions of this class had some methods inspired or taken from the JPL library (specially method comments).
|
Var |
A class reifying a logic variable
Disclaimer: Some methods were inspired or taken from the JPL library
|
Copyright © 2014. All rights reserved.