- abort() - Method in class jpl.Query
-
- action_abort() - Static method in class jpl.fli.Prolog
-
- allSolutions() - Method in class jpl.Query
-
calls the Query's goal to exhaustion
and returns an array of zero or more Hashtables of zero or more variablename-to-term bindings (each Hashtable represents a solution, in the order in which they were found).
- allSolutions(Term) - Static method in class jpl.Query
-
This static method creates a Query whose goal is the given Term,
calls it to exhaustion,
and returns an array of zero or more Hashtables of zero or more variablename-to-term bindings (each Hashtable represents a solution, in the order in which they were found).
- allSolutions(String) - Static method in class jpl.Query
-
This static method creates a Query from the given Prolog source text fragment,
calls it to exhaustion,
and returns an array of zero or more Hashtables of zero or more variablename-to-term bindings (each Hashtable represents a solution, in the order in which they were found).
- allSolutions(String, Term[]) - Static method in class jpl.Query
-
If text denotes (in traditional Prolog source syntax) a term containing N questionmark (?) symbols and there are N accompanying Term params,
this static method replaces each questionmark symbol by its respective param,
calls the resulting goal to exhaustion,
and returns an array of zero or more Hashtables of zero or more variablename-to-term bindings (each Hashtable represents a solution, in the order in which they were found).
- arg(int) - Method in class jpl.Compound
-
Returns the ith argument (counting from 1) of this Compound;
throws an ArrayIndexOutOfBoundsException if i is inappropriate.
- arg(int) - Method in class jpl.Float
-
throws a JPLException (arg(int) is defined only for Compound and Atom)
- arg(int) - Method in class jpl.Integer
-
The (nonexistent) ano-th arg of this Integer
- arg(int) - Method in class jpl.JRef
-
Deprecated.
- arg(int) - Method in class jpl.Term
-
returns the ano-th (1+) argument of a (Compound) Term
throws a JPLException for any other subclass
- arg(int) - Method in class jpl.Variable
-
throws a JPLException (arg(int) is defined only for Compound and Atom)
- arg0(int) - Method in class jpl.Compound
-
Deprecated.
- args() - Method in class jpl.Compound
-
Deprecated.
- args() - Method in class jpl.Float
-
The (nonexistent) args of this Float
- args() - Method in class jpl.Integer
-
The (nonexistent) args of this Integer
- args() - Method in class jpl.JRef
-
Deprecated.
- args() - Method in class jpl.Query
-
- args() - Method in class jpl.Term
-
returns, as a Term[], the arguments of a Compound
returns an empty Term[] from an Atom, Integer or Float
throws a JPLException from a Variable
- args() - Method in class jpl.Variable
-
The (nonexistent) args of this Variable
- arity() - Method in class jpl.Compound
-
Returns the arity (1+) of this Compound.
- arity() - Method in class jpl.Float
-
Returns the arity (0) of this Float
- arity() - Method in class jpl.Integer
-
Returns the arity (0) of this jpl.Integer (c.f.
- arity() - Method in class jpl.Term
-
returns, as an int, the arity of a Compound, Atom, Integer or Float
throws a JPLException from a Variable
- Atom - Class in jpl
-
Atom is a specialised Compound with zero arguments, representing a Prolog atom with the same name.
- Atom(String) - Constructor for class jpl.Atom
-
- ATOM - Static variable in class jpl.fli.Prolog
-
- atom_chars(atom_t) - Static method in class jpl.fli.Prolog
-
- atom_t - Class in jpl.fli
-
An atom_t is a specialised LongHolder which decrements its atom's
reference count when garbage-collected (finalized).
- atom_t() - Constructor for class jpl.fli.atom_t
-
- atomListToStringArray(Term) - Static method in class jpl.Util
-
- attach_engine(engine_t) - Static method in class jpl.fli.Prolog
-
- attach_pool_engine() - Static method in class jpl.fli.Prolog
-
- halt(int) - Static method in class jpl.fli.Prolog
-
- halt() - Static method in class jpl.JPL
-
Deprecated.
- hasFunctor(String, int) - Method in class jpl.Compound
-
Tests whether this Compound's functor has (String) 'name' and 'arity'.
- hasFunctor(int, int) - Method in class jpl.Compound
-
- hasFunctor(double, int) - Method in class jpl.Compound
-
- hasFunctor(String, int) - Method in class jpl.Float
-
Tests whether this Float's functor has (String) 'name' and 'arity' (never)
- hasFunctor(int, int) - Method in class jpl.Float
-
Tests whether this Float's functor has (int) 'name' and 'arity' (never)
- hasFunctor(double, int) - Method in class jpl.Float
-
Tests whether this Float's functor has (double) 'name' and 'arity'
- hasFunctor(int, int) - Method in class jpl.Integer
-
Tests whether this Integer's functor has (int) 'name' and 'arity' (c.f.
- hasFunctor(String, int) - Method in class jpl.Integer
-
Tests whether this Integer's functor has (String) 'name' and 'arity' (c.f.
- hasFunctor(double, int) - Method in class jpl.Integer
-
Tests whether this Integer's functor has (double) 'name' and 'arity' (c.f.
- hasFunctor(String, int) - Method in class jpl.JRef
-
Deprecated.
- hasFunctor(int, int) - Method in class jpl.JRef
-
Deprecated.
- hasFunctor(double, int) - Method in class jpl.JRef
-
Deprecated.
- hasFunctor(String, int) - Method in class jpl.Term
-
Tests whether this Term's functor has (String) 'name' and 'arity'
Returns false if called inappropriately
- hasFunctor(int, int) - Method in class jpl.Term
-
Tests whether this Term's functor has (int) 'name' and 'arity'
Returns false if called inappropriately
- hasFunctor(double, int) - Method in class jpl.Term
-
Tests whether this Term's functor has (double) 'name' and 'arity'
Returns false if called inappropriately
- hasFunctor(String, int) - Method in class jpl.Variable
-
- hasFunctor(int, int) - Method in class jpl.Variable
-
- hasFunctor(double, int) - Method in class jpl.Variable
-
- hasMoreElements() - Method in class jpl.Query
-
This method implements part of the java.util.Enumeration
interface.
- hasMoreSolutions() - Method in class jpl.Query
-
This method returns true if JPL was able to initiate a "call" of this
Query within a Prolog engine.
- hasSolution() - Method in class jpl.Query
-
This method will attempt to call this Query's goal within an available Prolog engine.
- hasSolution(Term) - Static method in class jpl.Query
-
This static method creates a Query (whose goal is the specified Term)
and calls it at most once, returning true if a solution was found, else false.
- hasSolution(String) - Static method in class jpl.Query
-
This static method creates a Query from the given Prolog source text
and calls it at most once, returning true if a solution was found, else false.
- hasSolution(String, Term[]) - Static method in class jpl.Query
-
If text denotes (in traditional Prolog source syntax) a term containing N questionmark (?) symbols
and there are N params, each questionmark symbol is replaced by its corresponding arg
to provide the new Query's goal: the resulting Query is called as described above.
- init(String[]) - Static method in class jpl.JPL
-
Initializes the Prolog engine, using the String argument
parameters passed.
- init() - Static method in class jpl.JPL
-
Initialises the Prolog engine using the current default initialisation parameters,
and returns 'true' (or 'false' if already initialised).
- initialise() - Static method in class jpl.fli.Prolog
-
- Int64Holder - Class in jpl.fli
-
An Int64Holder is merely a Holder class for an int64 value.
- Int64Holder() - Constructor for class jpl.fli.Int64Holder
-
- intArrayArrayToList(int[][]) - Static method in class jpl.Util
-
Converts an array of arrays of int to a corresponding JPL list of lists
- intArrayToList(int[]) - Static method in class jpl.Util
-
Converts an array of int to a corresponding JPL list
- INTEGER - Static variable in class jpl.fli.Prolog
-
- Integer - Class in jpl
-
Integer is a specialised Term with a long field, representing a Prolog integer value.
- Integer(long) - Constructor for class jpl.Integer
-
- IntHolder - Class in jpl.fli
-
An IntHolder is merely a Holder class for an Int value.
- IntHolder() - Constructor for class jpl.fli.IntHolder
-
- intValue() - Method in class jpl.Float
-
returns the (double) value of this Float, converted to an int
- intValue() - Method in class jpl.Integer
-
Returns the value of this Integer as an int if possible, else throws a JPLException
- intValue() - Method in class jpl.Term
-
returns the value (as an int) of an Integer or Float
throws a JPLException from a Compound, Atom or Variable
- is_tag(String) - Static method in class jpl.fli.Prolog
-
- isAtom() - Method in class jpl.Term
-
whether this Term represents an atom
- isCompound() - Method in class jpl.Term
-
whether this Term represents a compound term
- isFloat() - Method in class jpl.Term
-
whether this Term represents an atom
- isInteger() - Method in class jpl.Term
-
whether this Term represents an atom
- isJFalse() - Method in class jpl.Compound
-
whether this Term is a 'jboolean' structure denoting Java's false, i.e.
- isJFalse() - Method in class jpl.Term
-
whether this Term is a 'jfalse' structure, i.e.
- isJNull() - Method in class jpl.Compound
-
whether this Term is a 'jnull' structure, i.e.
- isJNull() - Method in class jpl.Term
-
whether this Term is a 'jnull' structure, i.e.
- isJObject() - Method in class jpl.Compound
-
whether this Term is a 'jobject' structure, i.e.
- isJObject() - Method in class jpl.Term
-
whether this Term is a 'jobject' structure, i.e.
- isJRef() - Method in class jpl.Compound
-
whether this Term is a 'jref' structure, i.e.
- isJRef() - Method in class jpl.Term
-
whether this Term is a 'jref' structure, i.e.
- isJTrue() - Method in class jpl.Compound
-
whether this Term is a 'jboolean' structure denoting Java's true, i.e.
- isJTrue() - Method in class jpl.Term
-
whether this Term is a 'jtrue' structure, i.e.
- isJVoid() - Method in class jpl.Compound
-
whether this Term is a 'jvoid' structure, i.e.
- isJVoid() - Method in class jpl.Term
-
whether this Term is a 'jvoid' structure, i.e.
- isOpen() - Method in class jpl.Query
-
isOpen() returns true iff the query is open.
- isTag(String) - Static method in class jpl.JPL
-
whether the String arg is a plausible tag, e.g.
- isVariable() - Method in class jpl.Term
-
whether this Term is a variable
- name() - Method in class jpl.Compound
-
Returns the name (unquoted) of this Compound.
- name() - Method in class jpl.Float
-
throws a JPLException (name() is defined only for Compound, Atom and Variable)
- name() - Method in class jpl.Integer
-
throws a JPLException (name() is defined only for Compound, Atom and Variable)
- name() - Method in class jpl.Query
-
- name() - Method in class jpl.Term
-
returns, as a String, the name of a Compound, Atom or Variable
throws a JPLException from an Integer or Float
- name - Variable in class jpl.Variable
-
- name() - Method in class jpl.Variable
-
returns the lexical name of this Variable
- namevarsToMap(Term) - Static method in class jpl.Util
-
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
- new_atom(String) - Static method in class jpl.fli.Prolog
-
- new_functor(atom_t, int) - Static method in class jpl.fli.Prolog
-
- new_module(atom_t) - Static method in class jpl.fli.Prolog
-
- new_term_ref() - Static method in class jpl.fli.Prolog
-
- new_term_refs(int) - Static method in class jpl.fli.Prolog
-
- newJRef(Object) - Static method in class jpl.JPL
-
returns a new Term instance which represents the given object
- next_solution(qid_t) - Static method in class jpl.fli.Prolog
-
- nextElement() - Method in class jpl.Query
-
This method implements part of the java.util.Enumeration
interface.
- nextSolution() - Method in class jpl.Query
-
This method returns a java.util.Hashtable, which represents
a binding from the names of query variables to terms within the solution.
- nSolutions(long) - Method in class jpl.Query
-
calls the Query's goal to exhaustion or until N solutions are found, whichever is sooner,
and returns an array containing (as possibly empty Hashtables of variablename-to-term bindings) every found solution (in the order in which they were found).
- nSolutions(Term, long) - Static method in class jpl.Query
-
This static method creates a Query whose goal is the given Term,
calls it to exhaustion or until N solutions are found, whichever is sooner,
and returns an array containing (as possibly empty Hashtables of variablename-to-term bindings) every found solution (in the order in which they were found).
- nSolutions(String, long) - Static method in class jpl.Query
-
This static method creates a Query from the given Prolog source text fragment,
calls it to exhaustion or until N solutions are found, whichever is sooner,
and returns an array containing (as possibly empty Hashtables of variablename-to-term bindings) every found solution (in the order in which they were found).
- nSolutions(String, Term[], long) - Static method in class jpl.Query
-
If text denotes (in traditional Prolog source syntax) a term containing N questionmark (?) symbols and there are N accompanying params,
this static method replaces each questionmark symbol by its respective param,
calls the resulting goal to exhaustion or until N solutions are found, whichever is sooner,
and returns an array containing (as possibly empty Hashtables of variablename-to-term bindings) every found solution (in the order in which they were found).
- object_to_tag(Object) - Static method in class jpl.fli.Prolog
-
- ObjectHolder - Class in jpl.fli
-
A ObjectHolder is merely a Holder class for an Object reference (or null).
- ObjectHolder() - Constructor for class jpl.fli.ObjectHolder
-
- objectToJRef(Object) - Static method in class jpl.Term
-
returns a new Term instance which represents the given object
- oneSolution() - Method in class jpl.Query
-
Returns the first solution, if any, as a (possibly empty) Hashtable of variablename-to-term bindings, else null.
- oneSolution(Term) - Static method in class jpl.Query
-
This static method creates a Query (whose goal is the specified Term)
and calls it at most once, returning the first solution, if there is one, as a (possibly empty) Hashtable, else null.
- oneSolution(String) - Static method in class jpl.Query
-
This static method creates a Query from the given Prolog source text fragment,
and calls it at most once, returning the first solution, if there is one, as a (possibly empty) Hashtable, else null.
- oneSolution(String, Term[]) - Static method in class jpl.Query
-
If text denotes (in traditional Prolog source syntax) a term containing N questionmark (?) symbols
and there are N params, each questionmark symbol is replaced by its respective param
to provide the goal of this query:
the resulting goal is then called (at most once) and the first solution, if there is one, is returned as a (possibly empty) Hashtable, else null.
- open() - Method in class jpl.Query
-
This method returns true if JPL was able to initiate a "call" of this
Query within the Prolog engine.
- open_foreign_frame() - Static method in class jpl.fli.Prolog
-
- open_query(module_t, int, predicate_t, term_t) - Static method in class jpl.fli.Prolog
-
- tag_to_object(String) - Static method in class jpl.fli.Prolog
-
- TERM - Static variable in class jpl.fli.Prolog
-
- term() - Method in exception jpl.PrologException
-
- Term - Class in jpl
-
Term is the abstract base class for
Compound, Atom, Variable, Integer and Float, which comprise a Java-oriented concrete syntax for Prolog.
- term_t - Class in jpl.fli
-
A term_t is a simple class which mirrors the term_t type in
the Prolog FLI.
- term_t() - Constructor for class jpl.fli.term_t
-
- term_type(term_t) - Static method in class jpl.fli.Prolog
-
- termArrayToList(Term[]) - Static method in class jpl.Util
-
Converts an array of Terms to a JPL representation of a Prolog list of terms
whose members correspond to the respective array elements.
- textParamsToTerm(String, Term[]) - Static method in class jpl.Util
-
Converts a Prolog source text to a corresponding JPL Term (in which each Variable has the appropriate name from the source text), replacing successive occurrences of ? in the text by the
corresponding element of Term[] params.
- textToTerm(String) - Static method in class jpl.Util
-
Converts a Prolog source text to a corresponding JPL Term
(in which each Variable has the appropriate name from the source text).
- thread_self() - Static method in class jpl.fli.Prolog
-
- toString() - Method in class jpl.Compound
-
Returns a prefix functional representation of a Compound of the form name(arg1,...),
where 'name' is quoted iff necessary (to be valid Prolog soutce text)
and each argument is represented according to its toString() method.
- toString() - Method in class jpl.fli.atom_t
-
The String representation of an atom_t is just the atom's name.
- toString(int, term_t) - Static method in class jpl.fli.term_t
-
This static method converts a term_t, which is assumed to contain
a reference to a *consecutive* list of term_t references to a
String representation of a list of terms, in this case, a comma
separated list.
- toString() - Method in class jpl.Float
-
Returns a Prolog source text representation of this Float
- toString() - Method in class jpl.Integer
-
Returns a Prolog source text representation of this Integer's value
- toString() - Method in class jpl.JRef
-
Deprecated.
Returns a Prolog source text representation of this JRef
- toString() - Method in class jpl.Query
-
Returns a crude String representation of a Query.
- toString(Term[]) - Static method in class jpl.Term
-
Converts a list of Terms to a String.
- toString(Map) - Static method in class jpl.Util
-
Converts a substitution, in the form of a Map from variable names to Terms, to a String.
- toString() - Method in class jpl.Variable
-
Returns a Prolog source text representation of this Variable
- toTermArray() - Method in class jpl.Term
-
returns an array of terms which are the successive members of this list, if it is a list, else throws an exception
- type() - Method in class jpl.Atom
-
- type() - Method in class jpl.Compound
-
returns the type of this term, as jpl.fli.Prolog.COMPOUND
- type() - Method in class jpl.Float
-
- type() - Method in class jpl.Integer
-
- type() - Method in class jpl.JRef
-
Deprecated.
- type() - Method in class jpl.Term
-
returns the type of this term, as one of jpl.fli.Prolog.COMPOUND, .ATOM, .VARIABLE, .INTEGER, .FLOAT etc
- type() - Method in class jpl.Variable
-
returns the type of this subclass of Term, i.e.
- typeName() - Method in class jpl.Atom
-
returns the name of the type of this term, as "Atom"
- typeName() - Method in class jpl.Compound
-
returns the name of the type of this term, as "Compound"
- typeName() - Method in class jpl.Float
-
- typeName() - Method in class jpl.Integer
-
- typeName() - Method in class jpl.JRef
-
Deprecated.
- typeName() - Method in class jpl.Term
-
returns the name of the type of this term, as one of "Compound", "Atom", "Variable", "Integer", "Float" etc
- typeName() - Method in class jpl.Variable
-
returns the typeName of this subclass of Term, i.e.