A B C D E F G H I J L M N O P Q R S T U V

A

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
Deprecated. Use .goal().args() instead.
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
 

B

bindingsToTermArray(Map) - Static method in class jpl.Util
Converts a solution hashtable to an array of Terms.
BooleanHolder - Class in jpl.fli
A BooleanHolder is merely a Holder class for a boolean value.
BooleanHolder() - Constructor for class jpl.fli.BooleanHolder
 
BUF_DISCARDABLE - Static variable in class jpl.fli.Prolog
 
BUF_MALLOC - Static variable in class jpl.fli.Prolog
 
BUF_RING - Static variable in class jpl.fli.Prolog
 

C

close() - Method in class jpl.Query
This method can be used to close an open query before its solutions are exhausted.
close_query(qid_t) - Static method in class jpl.fli.Prolog
 
compare(term_t, term_t) - Static method in class jpl.fli.Prolog
 
Compound - Class in jpl
A Compound represents a structured term, comprising a functor and arguments (Terms).
Compound(String, Term[]) - Constructor for class jpl.Compound
Creates a Compound with name and args.
Compound(String, int) - Constructor for class jpl.Compound
Creates a Compound with name and arity.
COMPOUND - Static variable in class jpl.fli.Prolog
 
cons_functor_v(term_t, functor_t, term_t) - Static method in class jpl.fli.Prolog
 
copy_term_ref(term_t) - Static method in class jpl.fli.Prolog
 
current_engine() - Static method in class jpl.fli.Prolog
 
current_engine_is_pool() - Static method in class jpl.fli.Prolog
 
CVT_ALL - Static variable in class jpl.fli.Prolog
 
CVT_ATOM - Static variable in class jpl.fli.Prolog
 
CVT_ATOMIC - Static variable in class jpl.fli.Prolog
 
CVT_FLOAT - Static variable in class jpl.fli.Prolog
 
CVT_INTEGER - Static variable in class jpl.fli.Prolog
 
CVT_LIST - Static variable in class jpl.fli.Prolog
 
CVT_NUMBER - Static variable in class jpl.fli.Prolog
 
CVT_STRING - Static variable in class jpl.fli.Prolog
 
CVT_VARIABLE - Static variable in class jpl.fli.Prolog
 

D

debugString() - Method in class jpl.Atom
Deprecated.  
debugString() - Method in class jpl.Compound
Deprecated.  
debugString() - Method in class jpl.Float
Deprecated.  
debugString() - Method in class jpl.Integer
Deprecated.  
debugString() - Method in class jpl.JRef
Deprecated.  
debugString() - Method in class jpl.Query
Deprecated.  
debugString() - Method in class jpl.Term
Deprecated.  
debugString(Term[]) - Static method in class jpl.Term
Deprecated.  
debugString() - Method in class jpl.Variable
Deprecated.  
discard_foreign_frame(fid_t) - Static method in class jpl.fli.Prolog
 
DoubleHolder - Class in jpl.fli
A DoubleHolder is merely a Holder class for a double value.
DoubleHolder() - Constructor for class jpl.fli.DoubleHolder
 
doubleValue() - Method in class jpl.Float
returns the (double) value of this Float
doubleValue() - Method in class jpl.Integer
Returns the value of this Integer converted to a double
doubleValue() - Method in class jpl.Term
returns the value (as a double) of an Integer or Float throws a JPLException from any other subclass

E

engine_t - Class in jpl.fli
A engine_t holds a reference to a Prolog engine.
engine_t() - Constructor for class jpl.fli.engine_t
 
equals(Object) - Method in class jpl.Compound
Two Compounds are equal if they are identical (same object) or their names and arities are equal and their respective arguments are equal.
equals(LongHolder) - Method in class jpl.fli.LongHolder
 
equals(Object) - Method in class jpl.fli.term_t
Instances of term_ts are stored in Term objects (see jpl.Term), and these term_ts are in some cases stored in Hashtables.
equals(Object) - Method in class jpl.Float
Two Floats are equal if they are the same object, or their values are equal
equals(Object) - Method in class jpl.Integer
Two Integer instances are equal if they are the same object, or if their values are equal
equals(Object) - Method in class jpl.JRef
Deprecated. Two JRefs are equal if their references are identical (?)
equals(Object) - Method in class jpl.Variable
A Variable is equal to another if their names are the same and they are not anonymous.
exception(qid_t) - Static method in class jpl.fli.Prolog
 

F

fail - Static variable in class jpl.fli.Prolog
 
fid_t - Class in jpl.fli
An fid_t holds the value of a frame id in the Prolog Engine.
fid_t() - Constructor for class jpl.fli.fid_t
 
FLOAT - Static variable in class jpl.fli.Prolog
 
Float - Class in jpl
Float is a specialised Term with a double field, representing a Prolog 64-bit ISO/IEC floating point value.
Float(double) - Constructor for class jpl.Float
This constructor creates a Float with the supplied (double) value.
floatValue() - Method in class jpl.Float
returns the (double) value of this Float, converted to a float
floatValue() - Method in class jpl.Integer
Returns the value of this Integer converted to a float
floatValue() - Method in class jpl.Term
returns the value (as a float) of an Integer or Float throws a JPLException from a Compound, Atom or Variable
functor_t - Class in jpl.fli
A functor_t holds a reference to a Prolog functor_t in the Prolog engine.
functor_t() - Constructor for class jpl.fli.functor_t
 

G

get_actual_init_args() - Static method in class jpl.fli.Prolog
 
get_arg(int, term_t, term_t) - Static method in class jpl.fli.Prolog
 
get_atom_chars(term_t, StringHolder) - Static method in class jpl.fli.Prolog
 
get_c_lib_version() - Static method in class jpl.fli.Prolog
 
get_default_init_args() - Static method in class jpl.fli.Prolog
 
get_float(term_t, DoubleHolder) - Static method in class jpl.fli.Prolog
 
get_integer(term_t, Int64Holder) - Static method in class jpl.fli.Prolog
 
get_name_arity(term_t, StringHolder, IntHolder) - Static method in class jpl.fli.Prolog
 
get_string_chars(term_t, StringHolder) - Static method in class jpl.fli.Prolog
 
getActualInitArgs() - Static method in class jpl.JPL
Returns, in an array of String, the sequence of command-line arguments that were actually used when the Prolog engine was formerly initialised.
getDefaultInitArgs() - Static method in class jpl.JPL
Returns, in an array of String, the sequence of command-line arguments that would be used if the Prolog engine were to be initialised now.
getSolution() - Method in class jpl.Query
This method returns a java.util.Hashtable, which represents a set of bindings from the names of query variables to terms within the solution.
getSubstWithNameVars() - Method in class jpl.Query
 
goal() - Method in class jpl.Query
Returns the Compound (hence perhaps an Atom) which is the goal of this Query

H

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.

I

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

J

JBOOLEAN - Static variable in class jpl.fli.Prolog
 
JFALSE - Static variable in class jpl.JPL
 
JNULL - Static variable in class jpl.JPL
 
jpl - package jpl
 
JPL - Class in jpl
The jpl.JPL class contains methods which allow (i) inspection and alteration of the "default" initialisation arguments (ii) explicit initialisation (iii) discovery of whether the Prolog engine is already initialised, and if so, with what arguments.
JPL() - Constructor for class jpl.JPL
 
jpl.fli - package jpl.fli
 
JPLException - Exception in jpl
This is the base class for exceptions thrown by JPL's Java-calls-Prolog interface.
JPLException() - Constructor for exception jpl.JPLException
 
JPLException(String) - Constructor for exception jpl.JPLException
 
JREF - Static variable in class jpl.fli.Prolog
 
JRef - Class in jpl
Deprecated.  
JRef(Object) - Constructor for class jpl.JRef
Deprecated. This constructor creates a JRef, initialized with the supplied non-String object (or null).
jrefToObject() - Method in class jpl.Atom
 
jrefToObject() - Method in class jpl.Compound
 
jrefToObject() - Method in class jpl.Float
 
jrefToObject() - Method in class jpl.Integer
 
jrefToObject() - Method in class jpl.JRef
Deprecated.  
jrefToObject() - Method in class jpl.Term
 
jrefToObject() - Method in class jpl.Variable
 
JTRUE - Static variable in class jpl.JPL
 
JVOID - Static variable in class jpl.fli.Prolog
 
JVOID - Static variable in class jpl.JPL
 

L

listLength() - Method in class jpl.Term
the length of this list, iff it is one, else an exception is thrown
listToLength(Term) - Static method in class jpl.Util
 
listToTermArray(Term) - Static method in class jpl.Util
converts a proper list to an array of terms, else throws an exception
loadNativeLibrary() - Static method in class jpl.JPL
 
LongHolder - Class in jpl.fli
A Long Holder merely holds a long value.
LongHolder() - Constructor for class jpl.fli.LongHolder
 
longValue() - Method in class jpl.Float
returns the (double) value of this Float, converted to a long
longValue() - Method in class jpl.Integer
Returns the value of this Integer as a long
longValue() - Method in class jpl.Term
returns the value (as a long) of an Integer or Float throws a JPLException from a Compound, Atom or Variable

M

main(String[]) - Static method in class jpl.JPL
 
module_t - Class in jpl.fli
A module_t is a PointerHolder type which holds a reference to a Prolog module_t reference.
module_t() - Constructor for class jpl.fli.module_t
 

N

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
Deprecated. Use .goal().name() instead.
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).

O

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
 

P

PointerHolder - Class in jpl.fli
A PointerHolder is a trivial extension of a LongHolder.
PointerHolder() - Constructor for class jpl.fli.PointerHolder
 
predicate(String, int, String) - Static method in class jpl.fli.Prolog
 
predicate_t - Class in jpl.fli
A predicate_t is a PointerHolder class whose value is a reference to a Prolog predicate_t.
predicate_t() - Constructor for class jpl.fli.predicate_t
 
Prolog - Class in jpl.fli
This class consists only of constants (static finals) and static native methods.
Prolog() - Constructor for class jpl.fli.Prolog
 
PrologException - Exception in jpl
PrologException instances wrap Prolog exceptions thrown (either by a Prolog engine or by user code) in the course of finding a solution to a Query.
put(term_t) - Method in class jpl.Term
 
put_float(term_t, double) - Static method in class jpl.fli.Prolog
 
put_integer(term_t, long) - Static method in class jpl.fli.Prolog
 
put_jref(term_t, Object) - Static method in class jpl.fli.Prolog
 
put_term(term_t, term_t) - Static method in class jpl.fli.Prolog
 
put_variable(term_t) - Static method in class jpl.fli.Prolog
 
putParams(Term[]) - Method in class jpl.Term
 
putParams(Term) - Method in class jpl.Term
 
putTerm(Object, term_t) - Static method in class jpl.Term
 

Q

Q_CATCH_EXCEPTION - Static variable in class jpl.fli.Prolog
 
Q_NODEBUG - Static variable in class jpl.fli.Prolog
 
Q_NORMAL - Static variable in class jpl.fli.Prolog
 
Q_PASS_EXCEPTION - Static variable in class jpl.fli.Prolog
 
qid_t - Class in jpl.fli
A qid_t holds a reference to a Prolog qid_t.
qid_t() - Constructor for class jpl.fli.qid_t
 
Query - Class in jpl
A Query instance is created by an application in order to query the Prolog database (or to invoke a built-in predicate).
Query(Term) - Constructor for class jpl.Query
This constructor creates a Query whose goal is the specified Term.
Query(String, Term[]) - Constructor for class jpl.Query
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(String, Term) - Constructor for class jpl.Query
 
Query(String) - Constructor for class jpl.Query
This constructor builds a Query from the given Prolog source text.
query() - Method in class jpl.Query
Deprecated. Use .hasSolution() instead.

R

ref() - Method in class jpl.JRef
Deprecated. The non-String object (or null) which this jpl.JRef represents
release_pool_engine() - Static method in class jpl.fli.Prolog
 
rewind() - Method in class jpl.Query
 

S

set_default_init_args(String[]) - Static method in class jpl.fli.Prolog
 
setArg(int, Term) - Method in class jpl.Compound
Sets the i-th (from 1) arg of this Compound to the given Term instance.
setDefaultInitArgs(String[]) - Static method in class jpl.JPL
Specifies, in an array of String, the sequence of command-line arguments that should be used if the Prolog engine is subsequently initialised.
setDTMMode(boolean) - Static method in class jpl.JPL
Sets the global "dont-tell-me" mode (default value: true).
setNativeLibraryDir(String) - Static method in class jpl.JPL
 
setNativeLibraryName(String) - Static method in class jpl.JPL
 
setNativeLibraryPath(String) - Static method in class jpl.JPL
 
STRING - Static variable in class jpl.fli.Prolog
 
stringArrayToList(String[]) - Static method in class jpl.Util
Converts an array of String to a corresponding JPL list
StringHolder - Class in jpl.fli
A StringHolder is merely a Holder class for a String value.
StringHolder() - Constructor for class jpl.fli.StringHolder
 
succeed - Static variable in class jpl.fli.Prolog
 

T

tag_to_object(String) - Static method in class jpl.fli.Prolog
 
TERM - Static variable in class jpl.fli.Prolog
Deprecated. use Prolog.COMPOUND
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.

U

UNASSIGNED - Static variable in class jpl.fli.term_t
 
unregister_atom(atom_t) - Static method in class jpl.fli.Prolog
 
Util - Class in jpl
This class provides a bunch of static utility methods for the JPL High-Level Interface.
Util() - Constructor for class jpl.Util
 

V

value - Variable in class jpl.fli.BooleanHolder
 
value - Variable in class jpl.fli.DoubleHolder
 
value - Variable in class jpl.fli.Int64Holder
 
value - Variable in class jpl.fli.IntHolder
 
value - Variable in class jpl.fli.LongHolder
 
value - Variable in class jpl.fli.ObjectHolder
 
value - Variable in class jpl.fli.StringHolder
 
value() - Method in class jpl.Float
Deprecated.  
value() - Method in class jpl.Integer
Deprecated.  
VARIABLE - Static variable in class jpl.fli.Prolog
 
Variable - Class in jpl
This class supports Java representations of Prolog variables.
Variable(String) - Constructor for class jpl.Variable
Create a new Variable with 'name' (which must not be null or ""), and may one day be constrained to comply with traditional Prolog syntax.
Variable() - Constructor for class jpl.Variable
Create a new Variable with new sequential name of the form "_261".
version() - Static method in class jpl.JPL
Returns (as a Version) an identification of this version of JPL.
version_string() - Static method in class jpl.JPL
Returns a String (eg "3.0.0-alpha") identifying this version of JPL.

A B C D E F G H I J L M N O P Q R S T U V