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