Uses of Class
jpl.Term

Packages that use Term

Package	Description
jpl

Uses of Term in jpl

Subclasses of Term in jpl

Modifier and Type	Class and Description
class	Atom An Atom is a Term with a name field.
class	Compound A Compound is a base class for all of the compound class types (e.g., List, Tuple, etc.), but it can also be instantiated to produce, for example, any functional expression.
class	Float_JPL A Float is a Term with a double field.
class	Integer_JPL An Integer is a Term with an int field.
class	List A List is a Compound, but with just two args, a head and a tail.
static class	List.Nil The Nil class is used to terminate a List.
class	Long_JPL A Long is a Term with an int field.
class	String_JPL A String is a Term with a java.lang.String value.
class	Tuple A Tuple is a Compound, used to represent Prolog tuples, the closest thing Prolog has to a data structure.
static class	Tuple.Pair A Pair is a two-element Tuple
class	Variable This class provides a Java represenation of a Prolog Variable.

Fields in jpl declared as Term

Modifier and Type	Field and Description
protected Term[]	Query.args_ the arguments to this Query
protected Term[]	Compound.args_ the arguments in this Compound

Methods in jpl that return Term

Modifier and Type	Method and Description
Term[]	Query.args()
Term[]	Compound.args()
Term	Tuple.elt(int i)
protected static Term[]	Term.from_term_t(Hashtable vars, int n, term_t term0) This method calls from_term_t on each term in the consecutive list of term_ts.
protected static Term	Variable.from_term_t(Hashtable vars, term_t term) Converts a term_t to a Variable.
protected static Term	Term.from_term_t(Hashtable vars, term_t term) We do some type analysis on the term_t then forward the call to the appropriate class
protected static Term	String_JPL.from_term_t(Hashtable vars, term_t term) Converts a term_t to a String.
protected static Term	Long_JPL.from_term_t(Hashtable vars, term_t term) Converts a term_t to an Atom.
protected static Term	Integer_JPL.from_term_t(Hashtable vars, term_t term) Converts a term_t to an Atom.
protected static Term	Float_JPL.from_term_t(Hashtable vars, term_t term) Converts a term_t to an Atom.
protected static Term	Compound.from_term_t(Hashtable vars, term_t term) Converts a term_t to a Compound.
protected static Term	Atom.from_term_t(Hashtable vars, term_t term) Converts a term_t to an Atom.
Term	List.head()
Term	Compound.ith(int i)
Term	List.tail()
Term	PrologException.term()
static Term	JPLUtil.termArrayToList(Term[] t) Converts an array of Terms to a jpl.List (if there are one or more Terms in the array), or jpl.List.NIL if there are no Terms in the array.
Term[]	List.toTermArray() This method returns an array containg the Terms in the List.
static Term[]	JPLUtil.toTermArray() Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8, Term t9) Creates an array of Terms, holding Terms in parameter(s).

Methods in jpl with parameters of type Term

Modifier and Type	Method and Description
protected static void	Term.computeSubstitutions(Hashtable bindings, Hashtable vars, Term[] arg) Just calls computeSubstitution in each Term in the list.
static String	Term.debugString(Term[] arg)
static List	List.list(Term t0)
static List	List.list(Term t0, Term t1)
static List	List.list(Term t0, Term t1, Term t2)
static List	List.list(Term t0, Term t1, Term t2, Term t3)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8, Term t9)
static Term	JPLUtil.termArrayToList(Term[] t) Converts an array of Terms to a jpl.List (if there are one or more Terms in the array), or jpl.List.NIL if there are no Terms in the array.
protected static boolean	Term.terms_equals(Term[] t1, Term[] t2) This method is used to determine the Terms in two Term arrays are pairwise equal, where two Terms are equal if they satisfy the equals predicate (defined differently in each Term subclass).
protected static boolean	Term.terms_equals(Term[] t1, Term[] t2) This method is used to determine the Terms in two Term arrays are pairwise equal, where two Terms are equal if they satisfy the equals predicate (defined differently in each Term subclass).
protected static term_t	Term.terms_to_term_ts(Hashtable var_table, Term[] arg) This static method converts an array of Terms to a *consecutive* sequence of term_t objects.
static String	Term.toString(Term[] arg) Converts a list of Terms to a String.
static Term[]	JPLUtil.toTermArray(Term t0) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	JPLUtil.toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8, Term t9) Creates an array of Terms, holding Terms in parameter(s).

Constructors in jpl with parameters of type Term

Constructor and Description
Compound(Atom atom, Term[] args) Creates a Comound with an Atom and an array of arguments.
Compound(String name, Term t0) This constructor is shorthand for
Compound(String name, Term[] args) This constructor is short for
Compound(String name, Term t0, Term t1) This constructor is shorthand for
Compound(String name, Term t0, Term t1, Term t2) This constructor is shorthand for
Compound(String name, Term t0, Term t1, Term t2, Term t3) This constructor is shorthand for
Compound(String name, Term t0, Term t1, Term t2, Term t3, Term t4) This constructor is shorthand for
Compound(String name, Term t0, Term t1, Term t2, Term t3, Term t4, Term t5) This constructor is shorthand for
Compound(String name, Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6) This constructor is shorthand for
Compound(String name, Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7) This constructor is shorthand for
Compound(String name, Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8) This constructor is shorthand for
Compound(String name, Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8, Term t9) This constructor is shorthand for
List(Term head, Term tail) This constructor is used to create a List.
Pair(Term a, Term b)
PrologException(Term term)
Query(Atom atom, Term[] args) This constructor creates a Query object corresponding to a Prolog query.
Query(String name, Term t0) This constructor is shorthand for
Query(String name, Term[] args) This constructor is shorthand for
Query(String name, Term t0, Term t1) This constructor is shorthand for
Query(String name, Term t0, Term t1, Term t2) This constructor is shorthand for
Query(String name, Term t0, Term t1, Term t2, Term t3) This constructor is shorthand for
Query(String name, Term t0, Term t1, Term t2, Term t3, Term t4) This constructor is shorthand for
Query(String name, Term t0, Term t1, Term t2, Term t3, Term t4, Term t5) This constructor is shorthand for
Query(String name, Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6) This constructor is shorthand for
Query(String name, Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7) This constructor is shorthand for
Query(String name, Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8) This constructor is shorthand for
Query(String name, Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8, Term t9) This constructor is shorthand for
Tuple(Term[] elts) Create a Tuple whose arity is determined by the size of the input array.
Tuple(Term t0, Term t1) This constructor is shorthand for
Tuple(Term t0, Term t1, Term t2) This constructor is shorthand for
Tuple(Term t0, Term t1, Term t2, Term t3) This constructor is shorthand for
Tuple(Term t0, Term t1, Term t2, Term t3, Term t4) This constructor is shorthand for
Tuple(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5) This constructor is shorthand for
Tuple(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6) This constructor is shorthand for
Tuple(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7) This constructor is shorthand for
Tuple(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8) This constructor is shorthand for
Tuple(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8, Term t9) This constructor is shorthand for