| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| ListTerm |
| 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).
|
| Class and Description |
|---|
| 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).
|
| Class and Description |
|---|
| AbstractVar
An abstract Prolog variable.
|
| Compound
A class reifying a logic compound term
|
| JRef |
| 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).
|
| Class and Description |
|---|
| Atom
A class reifying a logic atom
|
| NumberTerm |
| 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).
|
| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| 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).
|
| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| Class and Description |
|---|
| 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).
|
| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| 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).
|
| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| Class and Description |
|---|
| Atom
A class reifying a logic atom
|
| NumberTerm |
| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| Class and Description |
|---|
| 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).
|
| Class and Description |
|---|
| Atom
A class reifying a logic atom
|
| Compound
A class reifying a logic compound term
|
| FloatTerm
A class reifying a logic float term
|
| IntegerTerm
A class reifying a logic integer term
|
| Class and Description |
|---|
| 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).
|
| Class and Description |
|---|
| Functor |
| 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).
|
| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| 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).
|
| Class and Description |
|---|
| Atom
A class reifying a logic atom
|
| 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).
|
| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| 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).
|
| Class and Description |
|---|
| 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).
|
| Class and Description |
|---|
| 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).
|
| Class and Description |
|---|
| 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).
|
| Class and Description |
|---|
| AbstractVar
An abstract Prolog variable.
|
| Atom
A class reifying a logic atom
|
| Compound
A class reifying a logic compound term
|
| Functor |
| JRef |
| ListTerm |
| NumberTerm |
| 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
|
| Class and Description |
|---|
| AbstractVar
An abstract Prolog variable.
|
| 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
|
| Class and Description |
|---|
| 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).
|
| Class and Description |
|---|
| Compound
A class reifying a logic compound term
|
| 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).
|
| Class and Description |
|---|
| 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).
|
| Class and 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
|
| IntegerTerm
A class reifying a logic integer term
|
| JRef |
| Class and Description |
|---|
| Atom
A class reifying a logic atom
|
| 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
|
| Class and Description |
|---|
| 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).
|
| Class and Description |
|---|
| AbstractVar
An abstract Prolog variable.
|
| 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).
|
Copyright © 2014. All rights reserved.