|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Term | |
jpl |
Uses of Term in jpl |
Subclasses of Term in jpl | |
class |
Atom
Atom is a specialised Compound with zero arguments, representing a Prolog atom with the same name. |
class |
Compound
A Compound represents a structured term, comprising a functor and arguments (Terms). |
class |
Float
Float is a specialised Term with a double field, representing a Prolog 64-bit ISO/IEC floating point value. |
class |
Integer
Integer is a specialised Term with a long field, representing a Prolog integer value. |
class |
JBoolean
A jpl.JBoolean is a specialised Term with a boolean field, representing JPL's Prolog representation of a Java boolean value. |
class |
JRef
JRef is a specialised Term with an Object field, representing JPL's Prolog references to Java objects (or to null). |
class |
JVoid
A jpl.JVoid is a specialised Term. |
class |
Variable
This class supports Java representations of Prolog variables. |
Methods in jpl that return Term | |
Term[] |
Variable.args()
Deprecated. |
static Term |
Util.termArrayToList(Term[] terms)
Converts an array of Terms to a JPL representation of a Prolog list of terms whose members correspond to the respective array elements. |
static Term[] |
Util.bindingsToTermArray(java.util.Map varnames_to_Terms)
Converts a solution hashtable to an array of Terms. |
static Term |
Util.textToTerm(java.lang.String text)
Converts a Prolog source text to a corresponding JPL Term (in which each Variable has the appropriate name from the source text). |
Term |
Term.arg(int ano)
returns the ano-th (1+) argument of a (Compound) Term throws a JPLException for any other subclass |
Term |
Term.putParams(Term[] ps)
|
Term |
Term.putParams(Term plist)
|
Term[] |
Term.toTermArray()
returns an array of terms which are the successive members of this list, if it is a list, else throws an exception |
abstract Term[] |
Term.args()
Deprecated. |
Term[] |
Query.args()
Deprecated. Use .goal().args() instead. |
Term |
PrologException.term()
|
Term[] |
JVoid.args()
Deprecated. |
Term[] |
JRef.args()
Deprecated. |
Term[] |
JBoolean.args()
Deprecated. |
Term[] |
Integer.args()
Deprecated. |
Term |
Float.arg(int i)
throws a JPLException (arg(int) is defined only for Compound and Atom) |
Term[] |
Float.args()
Deprecated. |
Term |
Compound.arg(int i)
Returns the ith argument (counting from 1) of this Compound; throws an ArrayIndexOutOfBoundsException if i is inappropriate. |
Term[] |
Compound.args()
Deprecated. |
Term |
Compound.arg0(int i)
Deprecated. |
Methods in jpl with parameters of type Term | |
static Term |
Util.termArrayToList(Term[] terms)
Converts an array of Terms to a JPL representation of a Prolog list of terms whose members correspond to the respective array elements. |
static java.util.Map |
Util.namevarsToMap(Term nvs)
Converts a (JPL) list of Name=Var pairs (as yielded by atom_to_term/3) to a Map from Prolog variables (necessarily in term_t holders) to named JPL Variables |
Term |
Term.putParams(Term[] ps)
|
Term |
Term.putParams(Term plist)
|
static java.lang.String |
Term.debugString(Term[] arg)
Deprecated. |
static java.lang.String |
Term.toString(Term[] args)
Converts a list of Terms to a String. |
Constructors in jpl with parameters of type Term | |
Query(Term t)
This constructor creates a Query whose goal is the specified Term. |
|
Query(java.lang.String text,
Term[] args)
If text denotes an atom, this constructor is shorthand for new Query(new Compound(name,args)), but if text denotes a term containing N query symbols and there are N args, each query is replaced by its corresponding arg to provide the new Query's goal. |
|
Query(java.lang.String text,
Term arg)
|
|
Compound(java.lang.String name,
Term[] args)
Creates a Compound with name and args. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |