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.