A B C D E F G H I J L M N O P Q R S T U V
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- action_abort() - Static method in class org.jpl7.fli.Prolog
- allSolutions() - Method in class org.jpl7.Query
-
calls the Query's goal to exhaustion and returns an array of zero or more Maps of zero or more variablename-to-term bindings (each Map represents a solution, in the order in which they were found).
- allSolutions(String) - Static method in class org.jpl7.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 Maps of zero or more variablename-to-term bindings (each Map represents a solution, in the order in which they were found).
- allSolutions(String, Term[]) - Static method in class org.jpl7.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 Maps of zero or more variablename-to-term bindings (each Map represents a solution, in the order in which they were found).
- allSolutions(Term) - Static method in class org.jpl7.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 Maps of zero or more variablename-to-term bindings (each Map represents a solution, in the order in which they were found).
- arg(int) - Method in class org.jpl7.Compound
-
Returns the ith argument (counting from 1) of this Compound.
- arg(int) - Method in class org.jpl7.Term
-
returns the i-th (1+) argument of a Term; defined only for Compound
- args() - Method in class org.jpl7.Atom
- args() - Method in class org.jpl7.Compound
-
Returns the arguments of this Compound as a Term[0..arity-1] array.
- args() - Method in class org.jpl7.Float
- args() - Method in class org.jpl7.Integer
- args() - Method in class org.jpl7.Term
-
The arguments of this Term.
- args() - Method in class org.jpl7.Variable
- arity() - Method in class org.jpl7.Compound
-
Returns the arity (0+) of this Compound.
- arity() - Method in class org.jpl7.Term
-
the arity of a Compound, Atom, Integer or Float
- arity() - Method in class org.jpl7.Variable
-
returns, as an int, the arity of a Term
- Atom - Class in org.jpl7
-
Atom is a specialised Term, representing a Prolog atom with the same name.
- Atom(String) - Constructor for class org.jpl7.Atom
-
This constructs a "text" Atom, and is equivalent to
- Atom(String, String) - Constructor for class org.jpl7.Atom
- ATOM - Static variable in class org.jpl7.fli.Prolog
- atom_chars(atom_t) - Static method in class org.jpl7.fli.Prolog
- atom_t - Class in org.jpl7.fli
-
An atom_t is a specialised LongHolder which decrements its atom's reference count when garbage-collected (finalized).
- atom_t() - Constructor for class org.jpl7.fli.atom_t
- atomListToStringArray(Term) - Static method in class org.jpl7.Util
- atomType() - Method in class org.jpl7.Atom
- atomType() - Method in class org.jpl7.JRef
- atomType() - Method in class org.jpl7.Term
- attach_engine(engine_t) - Static method in class org.jpl7.fli.Prolog
- attach_pool_engine() - Static method in class org.jpl7.fli.Prolog
B
- bigValue() - Method in class org.jpl7.Integer
-
Returns the value of this Integer as a java.math.BigInteger, whether or not it fits in a long
- bigValue() - Method in class org.jpl7.Term
-
the value (as a java.math.BigInteger) of an Integer, whether or not it is big
- BLOB - Static variable in class org.jpl7.fli.Prolog
- BooleanHolder - Class in org.jpl7.fli
-
A BooleanHolder is merely a Holder class for a boolean value.
- BooleanHolder() - Constructor for class org.jpl7.fli.BooleanHolder
- BUF_DISCARDABLE - Static variable in class org.jpl7.fli.Prolog
- BUF_MALLOC - Static variable in class org.jpl7.fli.Prolog
- BUF_RING - Static variable in class org.jpl7.fli.Prolog
C
- close() - Method in class org.jpl7.Query
-
This method can be used to close an open query before its solutions are exhausted.
- close_query(qid_t) - Static method in class org.jpl7.fli.Prolog
- compare(term_t, term_t) - Static method in class org.jpl7.fli.Prolog
- Compound - Class in org.jpl7
-
A Compound represents a structured term, comprising a functor and one or more arguments (Terms).
- Compound(String) - Constructor for class org.jpl7.Compound
-
Creates a Compound with name and no args (which in SWI Prolog V7 is distinct from a text atom of the same name).
- Compound(String, Term[]) - Constructor for class org.jpl7.Compound
-
Creates a Compound with name and (zero or more) args.
- COMPOUND - Static variable in class org.jpl7.fli.Prolog
- cons_functor_v(term_t, functor_t, term_t) - Static method in class org.jpl7.fli.Prolog
- copy_term_ref(term_t) - Static method in class org.jpl7.fli.Prolog
- current_engine() - Static method in class org.jpl7.fli.Prolog
- current_engine_is_pool() - Static method in class org.jpl7.fli.Prolog
- current_query() - Static method in class org.jpl7.fli.Prolog
- CVT_ALL - Static variable in class org.jpl7.fli.Prolog
- CVT_ATOM - Static variable in class org.jpl7.fli.Prolog
- CVT_ATOMIC - Static variable in class org.jpl7.fli.Prolog
- CVT_FLOAT - Static variable in class org.jpl7.fli.Prolog
- CVT_INTEGER - Static variable in class org.jpl7.fli.Prolog
- CVT_LIST - Static variable in class org.jpl7.fli.Prolog
- CVT_NUMBER - Static variable in class org.jpl7.fli.Prolog
- CVT_STRING - Static variable in class org.jpl7.fli.Prolog
- CVT_VARIABLE - Static variable in class org.jpl7.fli.Prolog
D
- DICT - Static variable in class org.jpl7.fli.Prolog
- discard_foreign_frame(fid_t) - Static method in class org.jpl7.fli.Prolog
- DoubleHolder - Class in org.jpl7.fli
-
A DoubleHolder is merely a Holder class for a double value.
- DoubleHolder() - Constructor for class org.jpl7.fli.DoubleHolder
- doubleValue() - Method in class org.jpl7.Float
-
returns the (double) value of this Float
- doubleValue() - Method in class org.jpl7.Integer
-
Returns the value of this Integer converted to a double (perhaps Double.NEGATIVE_INFINITY or Double.POSITIVE_INFINITY)
- doubleValue() - Method in class org.jpl7.Term
-
the value (as a double) of an Integer or Float
E
- engine_t - Class in org.jpl7.fli
-
A engine_t holds a reference to a Prolog engine.
- engine_t() - Constructor for class org.jpl7.fli.engine_t
- equals(Object) - Method in class org.jpl7.Atom
-
Two Atoms are equal if they are identical (same object) or their respective names and blobTypes are equal
- equals(Object) - Method in class org.jpl7.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 org.jpl7.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 org.jpl7.Float
-
Two Floats are equal if they are the same object, or their values are equal
- equals(Object) - Method in class org.jpl7.Integer
-
two Integer instances are equal if their values are equal
- equals(Object) - Method in class org.jpl7.JRef
- equals(Object) - Method in class org.jpl7.Variable
-
A Variable is equal to another if their names are the same and they are not anonymous.
- equals(LongHolder) - Method in class org.jpl7.fli.LongHolder
- exception(qid_t) - Static method in class org.jpl7.fli.Prolog
F
- fail - Static variable in class org.jpl7.fli.Prolog
- fid_t - Class in org.jpl7.fli
-
An fid_t holds the value of a frame id in the Prolog Engine.
- fid_t() - Constructor for class org.jpl7.fli.fid_t
- Float - Class in org.jpl7
-
Float is a specialised Term with a double field, representing a Prolog 64-bit ISO/IEC floating point value.
- Float(double) - Constructor for class org.jpl7.Float
-
construct a Float with the supplied (double) value
- FLOAT - Static variable in class org.jpl7.fli.Prolog
- floatValue() - Method in class org.jpl7.Float
-
returns the (double) value of this Float, converted to a float
- floatValue() - Method in class org.jpl7.Integer
-
Returns the value of this Integer converted to a float
- floatValue() - Method in class org.jpl7.Term
-
the value (as a float) of an Integer or Float
- functor_t - Class in org.jpl7.fli
-
A functor_t holds a reference to a Prolog functor_t in the Prolog engine.
- functor_t() - Constructor for class org.jpl7.fli.functor_t
G
- get_actual_init_args() - Static method in class org.jpl7.fli.Prolog
- get_arg(int, term_t, term_t) - Static method in class org.jpl7.fli.Prolog
- get_atom_chars(term_t, StringHolder) - Static method in class org.jpl7.fli.Prolog
- get_c_lib_version() - Static method in class org.jpl7.fli.Prolog
- get_default_init_args() - Static method in class org.jpl7.fli.Prolog
- get_float(term_t, DoubleHolder) - Static method in class org.jpl7.fli.Prolog
- get_integer(term_t, Int64Holder) - Static method in class org.jpl7.fli.Prolog
- get_integer_big(term_t, StringHolder) - Static method in class org.jpl7.fli.Prolog
- get_jref_object(term_t, ObjectHolder) - Static method in class org.jpl7.fli.Prolog
- get_name_arity(term_t, StringHolder, IntHolder) - Static method in class org.jpl7.fli.Prolog
- get_string_chars(term_t, StringHolder) - Static method in class org.jpl7.fli.Prolog
- get_syntax() - Static method in class org.jpl7.fli.Prolog
- getActualInitArgs() - Static method in class org.jpl7.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 org.jpl7.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 org.jpl7.Query
-
This method returns a java.util.Map, which represents a set of bindings from the names of query variables to terms within the solution.
- getSubstWithNameVars() - Method in class org.jpl7.Query
- getSyntax() - Static method in class org.jpl7.JPL
- goal() - Method in class org.jpl7.Query
-
Returns the Term (Atom or Compound) which is the goal of this Query
H
- halt() - Static method in class org.jpl7.JPL
-
Deprecated.
- halt(int) - Static method in class org.jpl7.fli.Prolog
- hasFunctor(double, int) - Method in class org.jpl7.Float
-
Tests whether this Float's functor has (double) 'name' and 'arity'
- hasFunctor(double, int) - Method in class org.jpl7.Term
-
Tests whether this Term's functor has 'name' and 'arity'
- hasFunctor(double, int) - Method in class org.jpl7.Variable
- hasFunctor(long, int) - Method in class org.jpl7.Integer
-
whether this Integer's functor has (long) 'name' and 'arity' (c.f.
- hasFunctor(long, int) - Method in class org.jpl7.Term
-
Tests whether this Term's functor has 'name' and 'arity'
- hasFunctor(long, int) - Method in class org.jpl7.Variable
- hasFunctor(String, int) - Method in class org.jpl7.Atom
-
Tests whether this Compound's functor has (String) 'name' and 'arity'.
- hasFunctor(String, int) - Method in class org.jpl7.Compound
-
Tests whether this Compound's functor has (String) 'name' and 'arity'.
- hasFunctor(String, int) - Method in class org.jpl7.JRef
- hasFunctor(String, int) - Method in class org.jpl7.Term
-
Whether this Term's functor has 'name' and 'arity' (c.f.
- hasFunctor(String, int) - Method in class org.jpl7.Variable
- hasFunctor(BigInteger, int) - Method in class org.jpl7.Integer
-
whether this Integer's functor has (BigInteger) 'name' and 'arity' (c.f.
- hasFunctor(BigInteger, int) - Method in class org.jpl7.Term
-
Tests whether this Term's functor has 'name' and 'arity'
- hasFunctor(BigInteger, int) - Method in class org.jpl7.Variable
- hasMoreElements() - Method in class org.jpl7.Query
-
This method implements part of the java.util.Enumeration interface.
- hasMoreSolutions() - Method in class org.jpl7.Query
-
This method returns true if JPL was able to initiate a "call" of this Query within a Prolog engine.
- hasNext() - Method in class org.jpl7.Query
-
whether this Query has a (further) solution
- hasSolution() - Method in class org.jpl7.Query
-
This method will attempt to call this Query's goal within an available Prolog engine.
- hasSolution(String) - Static method in class org.jpl7.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 org.jpl7.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.
- hasSolution(Term) - Static method in class org.jpl7.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.
I
- init() - Static method in class org.jpl7.JPL
-
Initialises the Prolog engine using the current default initialisation parameters, and returns 'true' (or 'false' if already initialised).
- init(String[]) - Static method in class org.jpl7.JPL
-
Initializes the Prolog engine, using the String argument parameters passed.
- initialise() - Static method in class org.jpl7.fli.Prolog
- Int64Holder - Class in org.jpl7.fli
-
An Int64Holder is merely a Holder class for an int64 value.
- Int64Holder() - Constructor for class org.jpl7.fli.Int64Holder
- intArrayArrayToList(int[][]) - Static method in class org.jpl7.Util
-
Converts an array of arrays of int to a corresponding JPL list of lists
- intArrayToList(int[]) - Static method in class org.jpl7.Util
-
Converts an array of int to a corresponding JPL list
- Integer - Class in org.jpl7
-
Integer is a specialised Term representing a Prolog integer value; if the value fits, it is held in a long field, else as a BigInteger.
- Integer(long) - Constructor for class org.jpl7.Integer
- Integer(BigInteger) - Constructor for class org.jpl7.Integer
- INTEGER - Static variable in class org.jpl7.fli.Prolog
- IntHolder - Class in org.jpl7.fli
-
An IntHolder is merely a Holder class for an Int value.
- IntHolder() - Constructor for class org.jpl7.fli.IntHolder
- intValue() - Method in class org.jpl7.Float
-
returns the (double) value of this Float, converted to an int
- intValue() - Method in class org.jpl7.Integer
-
Returns the value of this Integer as an int if possible, else throws a JPLException
- intValue() - Method in class org.jpl7.Term
-
returns the value (as an int) of an Integer or Float
- is_tag(String) - Static method in class org.jpl7.fli.Prolog
- isAtom() - Method in class org.jpl7.Term
-
whether this Term is an Atom (of any type)
- isBig() - Method in class org.jpl7.Integer
- isBig() - Method in class org.jpl7.Term
-
Tests whether this Integer's value is too big to represent as a long.
- isBigInteger() - Method in class org.jpl7.Term
-
Tests whether this Term is an Integer whose value is too big to represent as a long
- isCompound() - Method in class org.jpl7.Term
-
Tests whether this Term is a Compound.
- isFloat() - Method in class org.jpl7.Term
-
Tests whether this Term is an org.jpl7.Float.
- isInteger() - Method in class org.jpl7.Term
-
Tests whether this Term is an org.jpl7.Integer.
- isJFalse() - Method in class org.jpl7.Compound
-
whether this Term is a 'jboolean' structure denoting Java's false, i.e.
- isJFalse() - Method in class org.jpl7.Term
-
Tests whether this Term is a 'jfalse' structure, i.e.
- isJNull() - Method in class org.jpl7.Compound
-
whether this Term is a 'jnull' structure, i.e.
- isJNull() - Method in class org.jpl7.Term
-
Tests whether this Term is a 'jnull' structure, i.e.
- isJRef() - Method in class org.jpl7.Term
-
Tests whether this Term is a (non-null, non-String) JPL reference to a Java object, e.g.
- isJTrue() - Method in class org.jpl7.Compound
-
whether this Term is a 'jboolean' structure denoting Java's true, i.e.
- isJTrue() - Method in class org.jpl7.Term
-
Tests whether this Term is a 'jtrue' structure, i.e.
- isJVoid() - Method in class org.jpl7.Compound
-
whether this Term is a 'jvoid' structure, i.e.
- isJVoid() - Method in class org.jpl7.Term
-
Tests whether this Term is a 'jvoid' structure, i.e.
- isList(Term) - Static method in class org.jpl7.Util
-
whether the Term represents a proper list
- isListNil() - Method in class org.jpl7.Atom
-
whether this Term denotes (syntax-specifically) an empty list
- isListNil() - Method in class org.jpl7.Term
-
Tests whether this Term denotes an empty list within the current syntax ("traditional" or "modern").
- isListPair() - Method in class org.jpl7.Compound
-
whether this Term denotes (syntax-specifically) a list cell
- isListPair() - Method in class org.jpl7.Term
-
Tests whether this Term is a list pair within the current syntax ("traditional" or "modern").
- isOpen() - Method in class org.jpl7.Query
-
isOpen() returns true iff the query is open.
- isVariable() - Method in class org.jpl7.Term
-
Tests whether this Term is a Variable.
- iterator() - Method in class org.jpl7.Query
-
a Query is its own Iterator
J
- jarPath() - Static method in class org.jpl7.JPL
- JBOOLEAN - Static variable in class org.jpl7.fli.Prolog
- JFALSE - Static variable in class org.jpl7.JPL
- JNULL - Static variable in class org.jpl7.JPL
- JOBJECT - Static variable in class org.jpl7.fli.Prolog
- JPL - Class in org.jpl7
-
The jpl.JPL class contains static 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 org.jpl7.JPL
- JPLException - Exception in org.jpl7
-
This is the base class for exceptions thrown by JPL's Java-calls-Prolog interface.
- JPLException() - Constructor for exception org.jpl7.JPLException
- JPLException(String) - Constructor for exception org.jpl7.JPLException
- JRef - Class in org.jpl7
-
JRef is a specialised Term with a (non-null, non-String) Object field, representing JPL 7.4's Prolog references to Java objects, e.g.
- JRef(Object) - Constructor for class org.jpl7.JRef
-
This constructor creates a JRef, initialized with the supplied (non-null, non-String) Object.
- JREF - Static variable in class org.jpl7.fli.Prolog
- jrefToObject() - Method in class org.jpl7.Compound
-
returns null iff this Compound represents @(null)
- jrefToObject() - Method in class org.jpl7.Float
- jrefToObject() - Method in class org.jpl7.JRef
-
Deprecated.Use org.jpl7.JRef.object()
- jrefToObject() - Method in class org.jpl7.Term
-
Deprecated.Use
JRef.object()
- JTRUE - Static variable in class org.jpl7.JPL
- JVOID - Static variable in class org.jpl7.fli.Prolog
- JVOID - Static variable in class org.jpl7.JPL
L
- LIST_NIL - Static variable in class org.jpl7.fli.Prolog
- LIST_NIL - Static variable in class org.jpl7.JPL
- LIST_PAIR - Static variable in class org.jpl7.fli.Prolog
- LIST_PAIR - Static variable in class org.jpl7.JPL
- listLength() - Method in class org.jpl7.Term
-
Deprecated.
- listToLength(Term) - Static method in class org.jpl7.Util
- listToTermArray(Term) - Static method in class org.jpl7.Util
-
converts a proper list to an array of terms, else throws an exception
- loadNativeLibrary() - Static method in class org.jpl7.JPL
- LongHolder - Class in org.jpl7.fli
-
A Long Holder merely holds a long value.
- LongHolder() - Constructor for class org.jpl7.fli.LongHolder
- longValue() - Method in class org.jpl7.Float
-
returns the (double) value of this Float, converted to a long
- longValue() - Method in class org.jpl7.Integer
-
Returns the value of this org.jpl7.Integer as a long
- longValue() - Method in class org.jpl7.Term
-
The (long) value of a Float or Integer.
M
- main(String[]) - Static method in class org.jpl7.JPL
- module_t - Class in org.jpl7.fli
-
A module_t is a PointerHolder type which holds a reference to a Prolog module_t reference.
- module_t() - Constructor for class org.jpl7.fli.module_t
N
- name - Variable in class org.jpl7.Variable
-
the name of this Variable
- name() - Method in class org.jpl7.Atom
-
the name (unquoted) of this Compound
- name() - Method in class org.jpl7.Compound
-
the name (unquoted) of this Compound
- name() - Method in class org.jpl7.Term
-
The name of an Atom, Compound or Variable.
- name() - Method in class org.jpl7.Variable
-
the lexical name of this Variable
- namevarsToMap(Term) - Static method in class org.jpl7.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 org.jpl7.fli.Prolog
- new_functor(atom_t, int) - Static method in class org.jpl7.fli.Prolog
- new_module(atom_t) - Static method in class org.jpl7.fli.Prolog
- new_term_ref() - Static method in class org.jpl7.fli.Prolog
- new_term_refs(int) - Static method in class org.jpl7.fli.Prolog
- newJRef(Object) - Static method in class org.jpl7.JPL
- next() - Method in class org.jpl7.Query
-
this Query's next solution
- next_solution(qid_t) - Static method in class org.jpl7.fli.Prolog
- nextElement() - Method in class org.jpl7.Query
-
This method implements part of the java.util.Enumeration interface.
- nextSolution() - Method in class org.jpl7.Query
-
This method returns a java.util.Map, which represents a binding from the names of query variables to terms within the solution.
- nSolutions(long) - Method in class org.jpl7.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 Maps of variablename-to-term bindings) every found solution (in the order in which they were found).
- nSolutions(String, long) - Static method in class org.jpl7.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 Maps of variablename-to-term bindings) every found solution (in the order in which they were found).
- nSolutions(String, Term[], long) - Static method in class org.jpl7.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 Maps of variablename-to-term bindings) every found solution (in the order in which they were found).
- nSolutions(Term, long) - Static method in class org.jpl7.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 Maps of variablename-to-term bindings) every found solution (in the order in which they were found).
O
- object() - Method in class org.jpl7.JRef
- object() - Method in class org.jpl7.Term
-
The (non-null, non-String) Object which this org.jpl7.JRef refers to, iff this Term is a JRef.
- object_to_tag(Object) - Static method in class org.jpl7.fli.Prolog
- ObjectHolder - Class in org.jpl7.fli
-
A ObjectHolder is merely a Holder class for an Object reference (or null).
- ObjectHolder() - Constructor for class org.jpl7.fli.ObjectHolder
- objectToJRef(Object) - Static method in class org.jpl7.Term
-
Deprecated.
- oneSolution() - Method in class org.jpl7.Query
-
Returns the first solution, if any, as a (possibly empty) Map of variablename-to-term bindings, else null.
- oneSolution(String) - Static method in class org.jpl7.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) Map, else null.
- oneSolution(String, Term[]) - Static method in class org.jpl7.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) Map, else null.
- oneSolution(Term) - Static method in class org.jpl7.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) Map, else null.
- open() - Method in class org.jpl7.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 org.jpl7.fli.Prolog
- open_query(module_t, int, predicate_t, term_t) - Static method in class org.jpl7.fli.Prolog
- org.jpl7 - package org.jpl7
- org.jpl7.fli - package org.jpl7.fli
P
- PointerHolder - Class in org.jpl7.fli
-
A PointerHolder is a trivial extension of a LongHolder.
- PointerHolder() - Constructor for class org.jpl7.fli.PointerHolder
- predicate(String, int, String) - Static method in class org.jpl7.fli.Prolog
- predicate_t - Class in org.jpl7.fli
-
A predicate_t is a PointerHolder class whose value is a reference to a Prolog predicate_t.
- predicate_t() - Constructor for class org.jpl7.fli.predicate_t
- Prolog - Class in org.jpl7.fli
-
This class consists only of constants (static finals) and static native methods.
- Prolog() - Constructor for class org.jpl7.fli.Prolog
- PrologException - Exception in org.jpl7
-
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_atom_chars(term_t, String) - Static method in class org.jpl7.fli.Prolog
- put_float(term_t, double) - Static method in class org.jpl7.fli.Prolog
- put_integer(term_t, long) - Static method in class org.jpl7.fli.Prolog
- put_integer_big(term_t, String) - Static method in class org.jpl7.fli.Prolog
- put_jref(term_t, Object) - Static method in class org.jpl7.fli.Prolog
- put_nil(term_t) - Static method in class org.jpl7.fli.Prolog
- put_term(term_t, term_t) - Static method in class org.jpl7.fli.Prolog
- put_variable(term_t) - Static method in class org.jpl7.fli.Prolog
- putParams(Term[]) - Method in class org.jpl7.Term
-
This internal method is public because it needs to be callable via JNI, but it is not part of JPL's public API and should not be used by applications.
- putTerm(Object, term_t) - Static method in class org.jpl7.Term
Q
- Q_CATCH_EXCEPTION - Static variable in class org.jpl7.fli.Prolog
- Q_NODEBUG - Static variable in class org.jpl7.fli.Prolog
- Q_NORMAL - Static variable in class org.jpl7.fli.Prolog
- Q_PASS_EXCEPTION - Static variable in class org.jpl7.fli.Prolog
- qid_t - Class in org.jpl7.fli
-
A qid_t holds a reference to a Prolog qid_t.
- qid_t() - Constructor for class org.jpl7.fli.qid_t
- Query - Class in org.jpl7
-
A Query instance is created by an application in order to query the Prolog database (or to invoke a built-in predicate).
- Query(String) - Constructor for class org.jpl7.Query
-
This constructor builds a Query from the given Prolog source text.
- Query(String, Term) - Constructor for class org.jpl7.Query
- Query(String, Term[]) - Constructor for class org.jpl7.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(Term) - Constructor for class org.jpl7.Query
-
This constructor creates a Query whose goal is the specified Term.
R
- ref() - Method in class org.jpl7.JRef
-
Deprecated.
- ref() - Method in class org.jpl7.Term
-
Deprecated.Use
JRef.object()
- release_pool_engine() - Static method in class org.jpl7.fli.Prolog
- remove() - Method in class org.jpl7.Query
-
this method (required by Iterator interface) is a no-op
S
- set_default_init_args(String[]) - Static method in class org.jpl7.fli.Prolog
- setArg(int, Term) - Method in class org.jpl7.Compound
-
Sets the i-th (from 1) arg of this Compound to the given Term instance.
- setDefaultInitArgs(String[]) - Static method in class org.jpl7.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 org.jpl7.JPL
-
Sets the global "dont-tell-me" mode (default value: true).
- setNativeLibraryDir(String) - Static method in class org.jpl7.JPL
- setNativeLibraryName(String) - Static method in class org.jpl7.JPL
- setNativeLibraryPath(String) - Static method in class org.jpl7.JPL
- setTraditional() - Static method in class org.jpl7.JPL
- setTraditionalAnyway() - Static method in class org.jpl7.JPL
- STRING - Static variable in class org.jpl7.fli.Prolog
- stringArrayToList(String[]) - Static method in class org.jpl7.Util
-
Converts an array of String to a corresponding JPL list
- StringHolder - Class in org.jpl7.fli
-
A StringHolder is merely a Holder class for a String value.
- StringHolder() - Constructor for class org.jpl7.fli.StringHolder
- succeed - Static variable in class org.jpl7.fli.Prolog
- SYNTAX_MODERN - Static variable in class org.jpl7.fli.Prolog
- SYNTAX_TRADITIONAL - Static variable in class org.jpl7.fli.Prolog
T
- tag_to_object(String) - Static method in class org.jpl7.fli.Prolog
- term() - Method in exception org.jpl7.PrologException
- Term - Class in org.jpl7
-
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 org.jpl7.fli
-
A term_t is a simple class which mirrors the term_t type in the Prolog FLI.
- term_t() - Constructor for class org.jpl7.fli.term_t
- term_type(term_t) - Static method in class org.jpl7.fli.Prolog
- termArrayToList(Term[]) - Static method in class org.jpl7.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 org.jpl7.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 org.jpl7.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 org.jpl7.fli.Prolog
- toString() - Method in class org.jpl7.Atom
-
an Atom's name is quoted if it is not a simple identifier.
- toString() - Method in class org.jpl7.Compound
-
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 org.jpl7.fli.atom_t
-
The String representation of an atom_t is just the atom's name.
- toString() - Method in class org.jpl7.Float
-
Returns a Prolog source text representation of this Float
- toString() - Method in class org.jpl7.Integer
-
a Prolog source text representation of this Integer's value
- toString() - Method in class org.jpl7.JRef
-
Returns a Prolog source text representation of this JRef
- toString() - Method in class org.jpl7.Query
-
Returns a crude String representation of a Query.
- toString() - Method in class org.jpl7.Variable
-
Returns a Prolog source text representation of this Variable
- toString(int, term_t) - Static method in class org.jpl7.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(Map<String, Term>) - Static method in class org.jpl7.Util
-
Converts a substitution, in the form of a Map from variable names to Terms, to a String.
- toString(Term[]) - Static method in class org.jpl7.Term
-
Converts a list of Terms to a String.
- toTermArray() - Method in class org.jpl7.Term
-
returns an array of Terms whose elements are the respective members of this list, iff it is a list.
- type() - Method in class org.jpl7.Atom
-
returns the type of this term, as "Prolog.ATOM"
- type() - Method in class org.jpl7.Compound
-
the type of this term, as jpl.fli.Prolog.COMPOUND
- type() - Method in class org.jpl7.Float
- type() - Method in class org.jpl7.Integer
-
the type of this term, as "Prolog.INTEGER"
- type() - Method in class org.jpl7.JRef
- type() - Method in class org.jpl7.Term
-
returns the type of this term, as one of org.jpl7.fli.Prolog.COMPOUND, .ATOM, .VARIABLE, .INTEGER, .FLOAT etc
- type() - Method in class org.jpl7.Variable
-
returns the type of this subclass of Term, i.e.
- typeName() - Method in class org.jpl7.Atom
-
returns the name of the type of this term, as "Atom"
- typeName() - Method in class org.jpl7.Compound
-
the name of the type of this term, as "Compound"
- typeName() - Method in class org.jpl7.Float
- typeName() - Method in class org.jpl7.Integer
-
the name of the type of this term, as "Integer"
- typeName() - Method in class org.jpl7.JRef
- typeName() - Method in class org.jpl7.Term
-
returns the name of the type of this term, as one of "Compound", "Atom", "Variable", "Integer", "Float" or "JRef"
- typeName() - Method in class org.jpl7.Variable
-
returns the typeName of this subclass of Term, i.e.
U
- UNASSIGNED - Static variable in class org.jpl7.fli.term_t
- unregister_atom(atom_t) - Static method in class org.jpl7.fli.Prolog
- Util - Class in org.jpl7
-
This class provides a bunch of static utility methods to support JPL's Java API.
- Util() - Constructor for class org.jpl7.Util
V
- value - Variable in class org.jpl7.fli.BooleanHolder
- value - Variable in class org.jpl7.fli.DoubleHolder
- value - Variable in class org.jpl7.fli.Int64Holder
- value - Variable in class org.jpl7.fli.IntHolder
- value - Variable in class org.jpl7.fli.LongHolder
- value - Variable in class org.jpl7.fli.ObjectHolder
- value - Variable in class org.jpl7.fli.StringHolder
- Variable - Class in org.jpl7
-
This class supports Java representations of Prolog variables.
- Variable() - Constructor for class org.jpl7.Variable
-
Create a new Variable with new sequential name of the form "_261".
- Variable(String) - Constructor for class org.jpl7.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 - Static variable in class org.jpl7.fli.Prolog
- version() - Static method in class org.jpl7.JPL
-
Returns (as a Version) an identification of this version of JPL.
- version_string() - Static method in class org.jpl7.JPL
-
Returns a String (eg "3.0.0-alpha") identifying this version of JPL.
All Classes All Packages