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