Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

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

## A

ATOM - Static variable in class jpl.fli.Prolog
Atom - class jpl.Atom.
  Atom is a specialised Compound with zero arguments, representing a Prolog atom with the same name.
Atom(String) - Constructor for class jpl.Atom
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 containing every 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.Term
  returns the ano-th (1+) argument of a (Compound) Term throws a JPLException for any other subclass
arg0(int) - Method in class jpl.Compound
  Deprecated.
args() - Method in class jpl.Compound
  Deprecated.
args() - Method in class jpl.Float
  Deprecated.
args() - Method in class jpl.Integer
  Deprecated.
args() - Method in class jpl.JBoolean
  Deprecated.
args() - Method in class jpl.JRef
  Deprecated.
args() - Method in class jpl.JVoid
  Deprecated.
args() - Method in class jpl.Query
  Deprecated. Use .goal().args() instead.
args() - Method in class jpl.Term
  Deprecated.
args() - Method in class jpl.Variable
  Deprecated.
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
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_chars(atom_t) - Static method in class jpl.fli.Prolog
atom_t - class jpl.fli.atom_t.
  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
attach_engine(engine_t) - Static method in class jpl.fli.Prolog
attach_pool_engine() - Static method in class jpl.fli.Prolog

## B

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
BooleanHolder - class jpl.fli.BooleanHolder.
  A BooleanHolder is merely a Holder class for a boolean value.
BooleanHolder() - Constructor for class jpl.fli.BooleanHolder
bindingsToTermArray(Map) - Static method in class jpl.Util
  Converts a solution hashtable to an array of Terms.
boolValue() - Method in class jpl.JBoolean
  The boolean value which this jpl.JBoolean object represents

## C

COMPOUND - Static variable 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
Compound - class jpl.Compound.
  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.
call(term_t, module_t) - Static method in class jpl.fli.Prolog
call_predicate(module_t, int, predicate_t, term_t) - Static method in class jpl.fli.Prolog
close() - Method in class jpl.Query
  This method is used to close an open query so that the query may be re-run, even if the Query's Enumeration has more elements.
close_foreign_frame(fid_t) - Static method in class jpl.fli.Prolog
close_query(qid_t) - Static method in class jpl.fli.Prolog
compare(term_t, term_t) - Static method in class jpl.fli.Prolog
cons_functor_v(term_t, functor_t, term_t) - Static method in class jpl.fli.Prolog
cons_list(term_t, term_t, term_t) - Static method in class jpl.fli.Prolog
context() - 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
cut_query(qid_t) - Static method in class jpl.fli.Prolog

## D

DoubleHolder - class jpl.fli.DoubleHolder.
  A DoubleHolder is merely a Holder class for a double value.
DoubleHolder() - Constructor for class jpl.fli.DoubleHolder
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.JBoolean
  Deprecated.
debugString() - Method in class jpl.JRef
  Deprecated.
debugString() - Method in class jpl.JVoid
  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
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 jpl.fli.engine_t.
  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(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.JBoolean
  Two JBooleans are equal if their values are equal
equals(Object) - Method in class jpl.JRef
  Two JRefs are equal if their references are identical (?)
equals(Object) - Method in class jpl.JVoid
  Two JVoids are equal
equals(Object) - Method in class jpl.Variable
  A Variable is equal to another if their names are the same and they are not anonymous.
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.
exception(qid_t) - Static method in class jpl.fli.Prolog

## F

FLOAT - Static variable in class jpl.fli.Prolog
Float - class jpl.Float.
  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.
fac(int) - Static method in class jpl.Test
fail - Static variable in class jpl.fli.Prolog
fid_t - class jpl.fli.fid_t.
  An fid_t holds the value of a frame id in the Prolog Engine.
fid_t() - Constructor for class jpl.fli.fid_t
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_arity(functor_t) - Static method in class jpl.fli.Prolog
functor_name(functor_t) - Static method in class jpl.fli.Prolog
functor_t - class jpl.fli.functor_t.
  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

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
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(term_t, atom_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_functor(term_t, functor_t) - Static method in class jpl.fli.Prolog
get_integer(term_t, IntHolder) - Static method in class jpl.fli.Prolog
get_jboolean(term_t, BooleanHolder) - Static method in class jpl.fli.Prolog
get_jref(term_t, ObjectHolder) - Static method in class jpl.fli.Prolog
get_module(term_t, module_t) - Static method in class jpl.fli.Prolog
get_name_arity(term_t, StringHolder, IntHolder) - Static method in class jpl.fli.Prolog
get_pointer(term_t, PointerHolder) - Static method in class jpl.fli.Prolog
get_string_chars(term_t, StringHolder) - Static method in class jpl.fli.Prolog
goal() - Method in class jpl.Query
  Returns the Compound (hence perhaps an Atom) which is the goal of this Query

## H

halt() - Static method in class jpl.JPL
  Deprecated.
halt(int) - Static method in class jpl.fli.Prolog
hasFunctor(String, int) - Method in class jpl.Compound
  Tests whether this Compound's functor has (String) 'name' and 'arity'.
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'
hasFunctor(String, int) - Method in class jpl.JBoolean
  Tests whether this JBoolean's functor has (String) 'name' and 'arity'
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
hasMoreElements() - Method in class jpl.Query
  This method is completes 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 the Prolog engine.
hasSolution() - Method in class jpl.Query
  JPL will attempt to call this Query's goal within the attached Prolog engine.

## I

INTEGER - Static variable in class jpl.fli.Prolog
IntHolder - class jpl.fli.IntHolder.
  An IntHolder is merely a Holder class for an Int value.
IntHolder() - Constructor for class jpl.fli.IntHolder
Integer - class jpl.Integer.
  Integer is a specialised Term with a long field, representing a Prolog integer value.
Integer(long) - Constructor for class jpl.Integer
Integer(int) - Constructor for class jpl.Integer
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
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 exception
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
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
isJBoolean() - Method in class jpl.Term
  whether this Term is a JBoolean
isJRef() - Method in class jpl.Term
  whether this Term is a JRef
isJVoid() - Method in class jpl.Term
  whether this Term is a JVoid
isVariable() - Method in class jpl.Term
  whether this Term is a variable
is_atom(term_t) - Static method in class jpl.fli.Prolog
is_atomic(term_t) - Static method in class jpl.fli.Prolog
is_compound(term_t) - Static method in class jpl.fli.Prolog
is_float(term_t) - Static method in class jpl.fli.Prolog
is_functor(term_t, functor_t) - Static method in class jpl.fli.Prolog
is_integer(term_t) - Static method in class jpl.fli.Prolog
is_number(term_t) - Static method in class jpl.fli.Prolog
is_variable(term_t) - Static method in class jpl.fli.Prolog

## J

JBOOLEAN - Static variable in class jpl.fli.Prolog
JBoolean - class jpl.JBoolean.
  A jpl.JBoolean is a specialised Term with a boolean field, representing JPL's Prolog representation of a Java boolean value.
JBoolean(boolean) - Constructor for class jpl.JBoolean
  Constructs a JBoolean with the supplied boolean value.
JPL - class jpl.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
JPLException - exception jpl.JPLException.
  This is the base class for exceptions thrown by JPL's Java-calls-Prolog interface.
JPLException() - Constructor for class jpl.JPLException
JPLException(String) - Constructor for class jpl.JPLException
JREF - Static variable in class jpl.fli.Prolog
JRef - class jpl.JRef.
  JRef is a specialised Term with an Object field, representing JPL's Prolog references to Java objects (or to null).
JRef(Object) - Constructor for class jpl.JRef
  This constructor creates a JRef, initialized with the supplied non-String object (or null).
JVOID - Static variable in class jpl.fli.Prolog
JVoid - class jpl.JVoid.
  A jpl.JVoid is a specialised Term.
JVoid() - Constructor for class jpl.JVoid
  This constructor creates a JVoid.
jpl - package jpl
jpl.fli - package jpl.fli

## L

LongHolder - class jpl.fli.LongHolder.
  A Long Holder merely holds a long value.
LongHolder() - Constructor for class jpl.fli.LongHolder
listLength() - Method in class jpl.Term
  the length of this list, iff it is one, else an exception is thrown
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 converted to 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
main(String[]) - Static method in class jpl.Test
module_name(module_t) - Static method in class jpl.fli.Prolog
module_t - class jpl.fli.module_t.
  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.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
nextElement() - Method in class jpl.Query
  This method completes 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.
next_solution(qid_t) - Static method in class jpl.fli.Prolog

## O

ObjectHolder - class jpl.fli.ObjectHolder.
  A ObjectHolder is merely a Holder class for an Object reference (or null).
ObjectHolder() - Constructor for class jpl.fli.ObjectHolder
oneSolution() - Method in class jpl.Query
  Returns the first solution, if any, as a (possibly empty) Hashtable.
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 jpl.fli.PointerHolder.
  A PointerHolder is a trivial extension of a LongHolder.
PointerHolder() - Constructor for class jpl.fli.PointerHolder
Prolog - class jpl.fli.Prolog.
  This class consists only of constants (static finals) and static native methods.
Prolog() - Constructor for class jpl.fli.Prolog
PrologException - exception jpl.PrologException.
  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.
pool_engine_id(engine_t) - Static method in class jpl.fli.Prolog
pred(functor_t, module_t) - Static method in class jpl.fli.Prolog
predicate(String, int, String) - Static method in class jpl.fli.Prolog
predicate_info(predicate_t, atom_t, IntHolder, module_t) - Static method in class jpl.fli.Prolog
predicate_t - class jpl.fli.predicate_t.
  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
putParams(Term[]) - Method in class jpl.Term
putParams(Term) - Method in class jpl.Term
put_atom(term_t, atom_t) - Static method in class jpl.fli.Prolog
put_float(term_t, double) - Static method in class jpl.fli.Prolog
put_functor(term_t, functor_t) - Static method in class jpl.fli.Prolog
put_integer(term_t, long) - Static method in class jpl.fli.Prolog
put_jboolean(term_t, boolean) - Static method in class jpl.fli.Prolog
put_jref(term_t, Object) - Static method in class jpl.fli.Prolog
put_jvoid(term_t) - Static method in class jpl.fli.Prolog
put_pointer(term_t, PointerHolder) - 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

## 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
Query - class jpl.Query.
  A Query instance is created by an application in order to query the Prolog engine.
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
qid_t - class jpl.fli.qid_t.
  A qid_t holds a reference to a Prolog qid_t.
qid_t() - Constructor for class jpl.fli.qid_t
query() - Method in class jpl.Query
  Deprecated. Use .hasSolution() instead. JPL will attempt to call this Query's goal within the attached Prolog engine.

## R

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

## S

STRING - Static variable in class jpl.fli.Prolog
StringHolder - class jpl.fli.StringHolder.
  A StringHolder is merely a Holder class for a String value.
StringHolder() - Constructor for class jpl.fli.StringHolder
setDTMMode(boolean) - Static method in class jpl.JPL
  Sets the global "dont-tell-me" mode (default value: true).
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.
set_default_init_args(String[]) - Static method in class jpl.fli.Prolog
strip_module(term_t, module_t, term_t) - Static method in class jpl.fli.Prolog
succeed - Static variable in class jpl.fli.Prolog

## T

TERM - Static variable in class jpl.fli.Prolog
  Deprecated. use Prolog.COMPOUND
Term - class jpl.Term.
  Term is the abstract base class for Compound, Atom, Variable, Integer and Float, which comprise a Java-oriented concrete syntax for Prolog.
Test - class jpl.Test.
Test() - Constructor for class jpl.Test
term() - Method in class jpl.PrologException
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.
term_t - class jpl.fli.term_t.
  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
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 each argument is represented according to its toString() method.
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.JBoolean
  Returns a Prolog source text representation of this JBoolean
toString() - Method in class jpl.JRef
  Returns a Prolog source text representation of this JRef
toString() - Method in class jpl.JVoid
  Returns a Prolog source text representation of this JVoid
toString() - Method in class jpl.Query
  Returns the 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
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.
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
type() - Method in class jpl.Float
type() - Method in class jpl.Integer
type() - Method in class jpl.JBoolean
type() - Method in class jpl.JRef
type() - Method in class jpl.JVoid
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
typeName() - Method in class jpl.Compound
typeName() - Method in class jpl.Float
typeName() - Method in class jpl.Integer
typeName() - Method in class jpl.JBoolean
typeName() - Method in class jpl.JRef
typeName() - Method in class jpl.JVoid
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

## U

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

## V

VARIABLE - Static variable in class jpl.fli.Prolog
Variable - class jpl.Variable.
  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
  Deprecated. use Variable(String name) instead
value() - Method in class jpl.Float
  Deprecated.
value() - Method in class jpl.Integer
  Deprecated.
value - Variable in class jpl.fli.BooleanHolder
value - Variable in class jpl.fli.DoubleHolder
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
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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES