- abolish(String, int) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Remove all predicates that match with the predicate indicator (PI) formed by
the concatenation of the given string functor and integer arity separated by
slash (functor/arity).
- AbstractClause - Class in io.github.prolobjectlink.prolog
-
- AbstractClause(PrologProvider, PrologTerm, boolean, boolean, boolean) - Constructor for class io.github.prolobjectlink.prolog.AbstractClause
-
Create a new fact clause.
- AbstractClause(PrologProvider, PrologTerm, PrologTerm, boolean, boolean, boolean) - Constructor for class io.github.prolobjectlink.prolog.AbstractClause
-
Create a new rule clause.
- AbstractCompounds - Class in io.github.prolobjectlink.prolog
-
- AbstractCompounds(int, PrologProvider) - Constructor for class io.github.prolobjectlink.prolog.AbstractCompounds
-
- AbstractConsole - Class in io.github.prolobjectlink.prolog
-
- AbstractConsole(PrologProvider) - Constructor for class io.github.prolobjectlink.prolog.AbstractConsole
-
- AbstractConverter<T> - Class in io.github.prolobjectlink.prolog
-
- AbstractConverter() - Constructor for class io.github.prolobjectlink.prolog.AbstractConverter
-
- AbstractEngine - Class in io.github.prolobjectlink.prolog
-
- AbstractEngine(PrologProvider) - Constructor for class io.github.prolobjectlink.prolog.AbstractEngine
-
- AbstractEngine.PrologProgramIterator - Class in io.github.prolobjectlink.prolog
-
- AbstractIndicator - Class in io.github.prolobjectlink.prolog
-
- AbstractIndicator(String, int) - Constructor for class io.github.prolobjectlink.prolog.AbstractIndicator
-
- AbstractIterator<E> - Class in io.github.prolobjectlink.prolog
-
Partial implementation of
Iterator interface.
- AbstractIterator() - Constructor for class io.github.prolobjectlink.prolog.AbstractIterator
-
- AbstractJavaConverter - Class in io.github.prolobjectlink.prolog
-
- AbstractJavaConverter(PrologProvider) - Constructor for class io.github.prolobjectlink.prolog.AbstractJavaConverter
-
- AbstractLogger - Class in io.github.prolobjectlink.prolog
-
- AbstractLogger() - Constructor for class io.github.prolobjectlink.prolog.AbstractLogger
-
- AbstractOperator - Class in io.github.prolobjectlink.prolog
-
- AbstractOperator(int, String, String) - Constructor for class io.github.prolobjectlink.prolog.AbstractOperator
-
- AbstractProgram - Class in io.github.prolobjectlink.prolog
-
- AbstractProgram(PrologEngine) - Constructor for class io.github.prolobjectlink.prolog.AbstractProgram
-
- AbstractProvider - Class in io.github.prolobjectlink.prolog
-
- AbstractProvider(PrologConverter<?>) - Constructor for class io.github.prolobjectlink.prolog.AbstractProvider
-
- AbstractQuery - Class in io.github.prolobjectlink.prolog
-
- AbstractQuery(AbstractEngine) - Constructor for class io.github.prolobjectlink.prolog.AbstractQuery
-
- AbstractTerm - Class in io.github.prolobjectlink.prolog
-
- AbstractTerm(int, PrologProvider) - Constructor for class io.github.prolobjectlink.prolog.AbstractTerm
-
- add(PrologClause) - Method in class io.github.prolobjectlink.prolog.AbstractProgram
-
- add(PrologProgram) - Method in class io.github.prolobjectlink.prolog.AbstractProgram
-
- add(PrologClauses) - Method in class io.github.prolobjectlink.prolog.AbstractProgram
-
- add(PrologClause) - Method in interface io.github.prolobjectlink.prolog.PrologProgram
-
- add(PrologProgram) - Method in interface io.github.prolobjectlink.prolog.PrologProgram
-
- add(PrologClauses) - Method in interface io.github.prolobjectlink.prolog.PrologProgram
-
- addAll(PrologProgram) - Method in class io.github.prolobjectlink.prolog.AbstractProgram
-
- addAll(PrologProgram) - Method in interface io.github.prolobjectlink.prolog.PrologProgram
-
- AGPL_V3 - Static variable in class io.github.prolobjectlink.prolog.Licenses
-
GNU Affero General Public License (AGPL) version 3.0
- all() - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return a list of map of variables name key and Prolog terms as value that
conform the solution set for the current query.
- allResults() - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- allResults() - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return a list of list of Java Objects that conform the solution set for the
current query.
- allSolutions() - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return a Prolog terms matrix of n x m order that conform the solution set for
the current query where n is the solution number and m is a free variable
number in the query.
- allVariablesResults() - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- allVariablesResults() - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return a list of map of variables name key and Java objects as value that
conform the solution set for the current query.
- allVariablesSolutions() - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return an array of map of variables name key and Prolog terms as value that
conform the solution set for the current query.
- APACHE_V2 - Static variable in class io.github.prolobjectlink.prolog.Licenses
-
Apache License version 2.0
- ArityError - Error in io.github.prolobjectlink.prolog
-
Runtime error raised when occurs one call to get arity method over a term
that no have arity property.
- ArityError(Object) - Constructor for error io.github.prolobjectlink.prolog.ArityError
-
Create an arity runtime error.
- ArrayIterator<E> - Class in io.github.prolobjectlink.prolog
-
Iterator implementation over array of elements.
- ArrayIterator(E[]) - Constructor for class io.github.prolobjectlink.prolog.ArrayIterator
-
Create an instance of
ArrayIterator to iterate over given array of
elements
- asserta() - Method in interface io.github.prolobjectlink.prolog.PrologClauseBuilder
-
Add the current clause in the main memory program if the clause non exist.
- asserta(String) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Parse the string creating internal prolog clause and add the clause in the
main memory program if the clause non exist.
- asserta(PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Create internal prolog clause and add the clause in the main memory program
if the clause non exist.
- asserta(PrologTerm, PrologTerm...) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Add a rule specified by the rule head and rule body if the specified rule
clause non exist.
- assertz() - Method in interface io.github.prolobjectlink.prolog.PrologClauseBuilder
-
Add the clause in the main memory program if the clause non exist.
- assertz(String) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Parse the string creating internal prolog clause and add the clause in the
main memory program if the clause non exist.
- assertz(PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Create internal prolog clause and add the clause in the main memory program
if the clause non exist.
- assertz(PrologTerm, PrologTerm...) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Add a rule specified by the rule head and rule body if the specified rule
clause non exist.
- ATOM_TYPE - Static variable in class io.github.prolobjectlink.prolog.PrologTermType
-
Atom type constant
- cast() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- cast(PrologTerm, Class<T>) - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
Casts a PrologTerm to the class or interface represented by this
Class object.
- cast(PrologTerm) - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- cast(PrologTerm, Class<T>) - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
Casts a PrologTerm to the class or interface represented by this
Class object.
- cast(PrologTerm) - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
Casts a PrologTerm to the class or interface represented by this
Class object.
- cast() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- cast() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
Casts the current PrologClause to the class or interface represented by this
Class object.
- cast(PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Casts a PrologTerm to the class or interface represented by this
Class object.
- cast() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Casts the current PrologTerm to the class or interface represented by this
Class object.
- CDDL_V1 - Static variable in class io.github.prolobjectlink.prolog.Licenses
-
COMMON DEVELOPMENT AND DISTRIBUTION LICENSE (CDDL) Version 1.0
- checkIndex(int) - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- checkIndex(int, int) - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- CLASS_CAST - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- CLASS_NOT_FOUND - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- CLASS_TYPE - Static variable in class io.github.prolobjectlink.prolog.PrologTermType
-
Class type constant
- clause() - Method in interface io.github.prolobjectlink.prolog.PrologClauseBuilder
-
Check if the clause in the main memory program unify with the current clause
and return true.
- clause(String) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Parse the string creating internal prolog clause and returning true if the
clause in the main memory program unify with the given clause.
- clause(PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Find a rule specified by the rule head and rule body in main memory program
that unify with the given clause returning true in this case.If the clause
not exist in main memory program or exist but not unify with the given clause
false value is returned.
- clause(PrologTerm, PrologTerm...) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Find a rule specified by the rule head and rule body in main memory program
that unify with the given clause returning true in this case.If the clause
not exist in main memory program or exist but not unify with the given clause
false value is returned.
- clear() - Method in interface io.github.prolobjectlink.prolog.PrologList
-
Clear the current list removing all contained prolog term.
- comma(PrologTerm, String, PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologClauseBuilder
-
Append to the clause builder other term in the clause body in conjunctive
mode.
- comma(String, PrologTerm...) - Method in interface io.github.prolobjectlink.prolog.PrologClauseBuilder
-
Append to the clause builder other term in the clause body in conjunctive
mode.
- comma(PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologClauseBuilder
-
Append to the clause builder other term in the clause body in conjunctive
mode.
- comma(PrologTerm, String, PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologQueryBuilder
-
Append to the query builder other term to be query in conjunctive mode.
- comma(String, PrologTerm...) - Method in interface io.github.prolobjectlink.prolog.PrologQueryBuilder
-
Append to the query builder other term to be query in conjunctive mode.
- comma(PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologQueryBuilder
-
Append to the query builder other term to be query in conjunctive mode.
- compareTo(PrologTerm) - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- compareTo(PrologOperator) - Method in class io.github.prolobjectlink.prolog.AbstractOperator
-
- CompoundExpectedError - Error in io.github.prolobjectlink.prolog
-
Runtime error raised when occurs one call to some method over no compound
term like get arguments or get argument at some position. all atomics term no
have arguments and optionally over related invocations of the mentioned
methods this runtime error take place.
- CompoundExpectedError(Object) - Constructor for error io.github.prolobjectlink.prolog.CompoundExpectedError
-
Create an compound runtime error.
- consult(String) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Consult a file specified by the string path loading an parsing the prolog
program.
- consult(Reader) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Consult a prolog program from specified reader parsing the prolog program and
put this program into prolog engine.
- containQuotes(String) - Method in class io.github.prolobjectlink.prolog.AbstractJavaConverter
-
- containQuotes(String) - Method in interface io.github.prolobjectlink.prolog.PrologJavaConverter
-
Check if the current functor have quotes at the start and end of the given
functor.
- contains(String) - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- contains(PrologTerm) - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- contains(PrologTerm, PrologTerm...) - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- contains(List<Map<String, PrologTerm>>, Map<String, PrologTerm>) - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- contains(List<PrologTerm[]>, PrologTerm[]) - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- contains(String) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Parse the string creating internal prolog clause and returning true if the
given goal have solution using the resolution engine mechanism.
- contains(PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Check if the given goal array have solution using the resolution engine
mechanism.
- contains(PrologTerm, PrologTerm...) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Check if the given goal array have solution using the resolution engine
mechanism.
- contains(Map.Entry<PrologTerm, PrologTerm>) - Method in interface io.github.prolobjectlink.prolog.PrologMap
-
True if this map contains an entry previously created
- converter - Variable in class io.github.prolobjectlink.prolog.AbstractProvider
-
- createBindings() - Method in class io.github.prolobjectlink.prolog.PrologScriptEngine
-
- createProvider() - Method in interface io.github.prolobjectlink.prolog.PrologConverter
-
Create a Prolog provider instance.
- currentOp(String) - Method in interface io.github.prolobjectlink.prolog.PrologOperatorSet
-
Check if in the operator set is defined some particular operator specified by
your string symbol.
- currentOperator(int, String, String) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Check if in the wrapped prolog engine is defined some particular operator
specified by your Priority, Specifier and Operator.
- currentOperators() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Operator set defined in the wrapped prolog engine.
- currentPredicate(String, int) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Check if in the wrapped prolog engine is defined some particular predicate
specified by your predicate indicator (PI = functor/arity).
- currentPredicates() - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- currentPredicates() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Predicate set defined in the wrapped prolog engine.
- CUT_TYPE - Static variable in class io.github.prolobjectlink.prolog.PrologTermType
-
Cut type constant
- get(String, int) - Method in class io.github.prolobjectlink.prolog.AbstractProgram
-
- get(String, int) - Method in interface io.github.prolobjectlink.prolog.PrologProgram
-
- getArgument(int) - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getArgument(int) - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- getArgument(int) - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
Term located at some given index position in the clause head arguments.
- getArgument(int) - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Term located at some given index position in the current term arguments if
current term is a compound term.
- getArguments() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getArguments(String[]) - Method in class io.github.prolobjectlink.prolog.AbstractConsole
-
- getArguments() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
Term arguments present in the clause head.
- getArguments(String[]) - Method in interface io.github.prolobjectlink.prolog.PrologConsole
-
Create a arguments map from a given string arguments array.
- getArguments() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Term arguments if the current term is a compound term.
- getArity() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getArity() - Method in class io.github.prolobjectlink.prolog.AbstractIndicator
-
- getArity() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
Integer number that represent the arguments number in the clause head.
- getArity() - Method in interface io.github.prolobjectlink.prolog.PrologIndicator
-
Indicator arity that is the argument number for compound terms.
- getArity() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Term arity.
- getAuthor() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getAuthor() - Method in interface io.github.prolobjectlink.prolog.PrologDocumentable
-
Get the author tag in doc comment
- getBody() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getBody() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
Prolog term that represent the clause body.
- getBodyArray() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getBodyArray() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
Get the clause body as terms array.
- getBodyIterator() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getBodyIterator() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
Iterator to iterate over all body terms.
- getBuiltIns() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Predicate set defined by the supported built-ins predicate in the wrapped
prolog engine.
- getClauses() - Method in class io.github.prolobjectlink.prolog.AbstractProgram
-
- getClauses() - Method in interface io.github.prolobjectlink.prolog.PrologProgram
-
- getClauseString() - Method in interface io.github.prolobjectlink.prolog.PrologClauseBuilder
-
Get the clause in string format.
- getConverter() - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- getConverter() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Get a prolog converter instance to map the abstract prolog data types to
under-laying prolog implementations data types.
- getDescription() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getDescription() - Method in interface io.github.prolobjectlink.prolog.PrologDocumentable
-
Get the description tag in doc comment
- getDoubleValue() - Method in interface io.github.prolobjectlink.prolog.PrologNumber
-
Cast and return the equivalent Java Double Number value from current Prolog
Number.
- getEngine() - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- getEngine() - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Engine hold by the current query
- getEngineName() - Method in class io.github.prolobjectlink.prolog.PrologScriptEngineFactory
-
- getEngineVersion() - Method in class io.github.prolobjectlink.prolog.PrologScriptEngineFactory
-
- getExtensions() - Method in class io.github.prolobjectlink.prolog.PrologScriptEngineFactory
-
- getFactory() - Method in class io.github.prolobjectlink.prolog.PrologScriptEngine
-
- getFloatValue() - Method in interface io.github.prolobjectlink.prolog.PrologNumber
-
Cast and return the equivalent Java Float Number value from current Prolog
Number.
- getFunctor() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getFunctor() - Method in class io.github.prolobjectlink.prolog.AbstractIndicator
-
- getFunctor() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
String that represent the functor in the clause head.
- getFunctor() - Method in interface io.github.prolobjectlink.prolog.PrologIndicator
-
Indicator functor that is the name for compound terms.
- getFunctor() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Term functor.The functor of a term is a name for compound terms.
- getGenericClass() - Method in class io.github.prolobjectlink.prolog.AbstractConverter
-
- getGenericClass() - Method in interface io.github.prolobjectlink.prolog.PrologConverter
-
Get the generic class for the current Prolog converter at runtime.
- getHead() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getHead() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
Prolog term that represent the clause head.
- getHead() - Method in interface io.github.prolobjectlink.prolog.PrologList
-
Return the head term of the current list if the current list have at least
one element.
- getIndicator() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getIndicator() - Method in class io.github.prolobjectlink.prolog.AbstractIndicator
-
- getIndicator() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- getIndicator() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
Clause family functor/arity based indicator.
- getIndicator() - Method in interface io.github.prolobjectlink.prolog.PrologClauses
-
Clause family functor/arity based indicator.
- getIndicator() - Method in interface io.github.prolobjectlink.prolog.PrologIndicator
-
Gets the term indicator represented by one string with the format
functor/arity.
- getIndicator() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Gets the term indicator represented by one string with the format
functor/arity.
- getIndicators() - Method in class io.github.prolobjectlink.prolog.AbstractProgram
-
- getIndicators() - Method in interface io.github.prolobjectlink.prolog.PrologProgram
-
- getIntegerValue() - Method in interface io.github.prolobjectlink.prolog.PrologNumber
-
Cast and return the equivalent Java Integer Number value from current Prolog
Number.
- getJavaConverter() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Get a Java to Prolog converter instance to map the abstract prolog data types
to Java types.
- getLanguageName() - Method in class io.github.prolobjectlink.prolog.PrologScriptEngineFactory
-
- getLanguageVersion() - Method in class io.github.prolobjectlink.prolog.PrologScriptEngineFactory
-
- getLeft() - Method in interface io.github.prolobjectlink.prolog.PrologStructure
-
Return the left operand of the current term if the current term is an
evalueble structure (expression).
- getLicense() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
License of the wrapped engine.
- getLogger() - Method in class io.github.prolobjectlink.prolog.AbstractConverter
-
- getLogger() - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- getLogger() - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- getLogger() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- getLogger() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Get the prolog system logger instance to report any errors or exceptions
- getLogger() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Get the prolog system logger instance to report any errors or exceptions
- getLongValue() - Method in interface io.github.prolobjectlink.prolog.PrologNumber
-
Cast and return the equivalent Java Long Number value from current Prolog
Number.
- getMimeTypes() - Method in class io.github.prolobjectlink.prolog.PrologScriptEngineFactory
-
- getName() - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- getName() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Name of the wrapped engine.
- getName() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Name of the wrapped engine.
- getName() - Method in interface io.github.prolobjectlink.prolog.PrologVariable
-
Name that identify this variable
- getNames() - Method in class io.github.prolobjectlink.prolog.PrologScriptEngineFactory
-
- getObject() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- getObject() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
For references terms return the referenced object.
- getOperator() - Method in class io.github.prolobjectlink.prolog.AbstractOperator
-
- getOperator() - Method in interface io.github.prolobjectlink.prolog.PrologOperator
-
String symbol that represent the Prolog operator.
- getOperator() - Method in interface io.github.prolobjectlink.prolog.PrologStructure
-
Return the operator (structure functor) of the current term if the current
term is an evalueble structure (expression).
- getOSArch() - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- getOSArch() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Return the host operating system architecture.
- getOSName() - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- getOSName() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Return the host operating system name.
- getOSVersion() - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- getOSVersion() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Return the host operating system version.
- getOutputStatement(String) - Method in class io.github.prolobjectlink.prolog.PrologScriptEngineFactory
-
- getParameter(String) - Method in class io.github.prolobjectlink.prolog.PrologScriptEngineFactory
-
- getParser() - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- getParser() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Get a prolog parser instance to parser the strings with prolog syntax.
- getPosition() - Method in interface io.github.prolobjectlink.prolog.PrologVariable
-
Non negative integer that represent the variable position of the Structure
where the variable is first time declared.
- getPredicates() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
User defined predicate set defined in the wrapped prolog engine.
- getPriority() - Method in class io.github.prolobjectlink.prolog.AbstractOperator
-
- getPriority() - Method in interface io.github.prolobjectlink.prolog.PrologOperator
-
Integer number between 0 and 1200 that represent the operator priority.
- getProgram() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Make and return a copy of the program.
- getProgram(String...) - Method in class io.github.prolobjectlink.prolog.PrologScriptEngineFactory
-
- getProgramClauses() - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- getProgramClauses() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Make and return a copy of the clause set present in the current engine.
- getProgramMap() - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- getProgramMap() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Make and return a copy of the clause map present in the current engine.
- getProgramSize() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Number of clauses in the current engine.
- getPrologDouble() - Method in interface io.github.prolobjectlink.prolog.PrologNumber
-
Cast and return the equivalent Prolog Double Number from current Prolog
Number.
- getPrologFloat() - Method in interface io.github.prolobjectlink.prolog.PrologNumber
-
Cast and return the equivalent Prolog Float Number from current Prolog
Number.
- getPrologIndicator() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getPrologIndicator() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
Clause family PrologIndicator based indicator.
- getPrologInteger() - Method in interface io.github.prolobjectlink.prolog.PrologNumber
-
Cast and return the equivalent Prolog Integer Number from current Prolog
Number.
- getPrologLong() - Method in interface io.github.prolobjectlink.prolog.PrologNumber
-
Cast and return the equivalent Prolog Long Number from current Prolog Number.
- getProvider() - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- getProvider() - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- getProvider() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- getProvider() - Static method in class io.github.prolobjectlink.prolog.Prolog
-
Create and return an instance of Prolog Provider using Java Platform
discovery pattern.
- getProvider(String) - Static method in class io.github.prolobjectlink.prolog.Prolog
-
Create and return an instance of Prolog Provider using the Prolog Provider
class name.
- getProvider(Class<?>) - Static method in class io.github.prolobjectlink.prolog.Prolog
-
Create and return an instance of Prolog Provider from the given class.
- getProvider() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Get a Prolog provider instance hold in the current engine.
- getProvider() - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Provider instance
- getProvider() - Method in class io.github.prolobjectlink.prolog.PrologScriptEngine
-
- getProvider() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Prolog provider associated to the current term.
- getProvider() - Method in interface io.github.prolobjectlink.prolog.PrologType
-
Prolog provider associated to the current term.
- getProvider() - Static method in class io.github.prolobjectlink.prolog.spi.ServiceProviderLocator
-
Create and return an instance of Prolog Provider using Java Platform
discovery pattern.
- getProvider(String) - Static method in class io.github.prolobjectlink.prolog.spi.ServiceProviderLocator
-
Create and return an instance of Prolog Provider using the Prolog Provider
class name.
- getProvider(Class<?>) - Static method in class io.github.prolobjectlink.prolog.spi.ServiceProviderLocator
-
Create and return an instance of Prolog Provider from the given class.
- getQueryString() - Method in interface io.github.prolobjectlink.prolog.PrologQueryBuilder
-
Get the query in string format.
- getReferenceType() - Method in interface io.github.prolobjectlink.prolog.PrologReference
-
Return the Java reference type.
- getRight() - Method in interface io.github.prolobjectlink.prolog.PrologStructure
-
Return the right operand of the current term if the current term is an
evalueble structure (expression).
- getScriptEngine() - Method in class io.github.prolobjectlink.prolog.PrologScriptEngineFactory
-
- getSee() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getSee() - Method in interface io.github.prolobjectlink.prolog.PrologDocumentable
-
Get the see tag in doc comment
- getSince() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getSince() - Method in interface io.github.prolobjectlink.prolog.PrologDocumentable
-
Get the since tag in doc comment
- getSpecifier() - Method in class io.github.prolobjectlink.prolog.AbstractOperator
-
- getSpecifier() - Method in interface io.github.prolobjectlink.prolog.PrologOperator
-
String symbol that specify the associativity and position of the Prolog
operator.
- getStringValue() - Method in interface io.github.prolobjectlink.prolog.PrologAtom
-
String value for atom term.
- getTail() - Method in interface io.github.prolobjectlink.prolog.PrologList
-
Return the tail term of the current list if the current list have tail.
- getTerm() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getTerm() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- getTerm() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
Prolog term representation of the current clause.
- getTerm() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Return current term instance if current term is not a variable or is a free
variable term.
- getType() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- getType() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Get the term type.
- getVendor() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Under-laying engine vendor
- getVersion() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- getVersion() - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- getVersion() - Method in interface io.github.prolobjectlink.prolog.PrologDocumentable
-
Get the version tag in doc comment
- getVersion() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Version of the wrapped engine.
- getVersion() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Version of the wrapped engine.
- GPL_V1 - Static variable in class io.github.prolobjectlink.prolog.Licenses
-
GNU General Public License (GPL) version 1.0
- GPL_V2 - Static variable in class io.github.prolobjectlink.prolog.Licenses
-
GNU General Public License (GPL) version 2.0
- GPL_V3 - Static variable in class io.github.prolobjectlink.prolog.Licenses
-
GNU General Public License (GPL) version 3.0
- ILLEGAL_ACCESS - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- ILLEGAL_ARGUMENT - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- include(String) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Consult a file specified by the string path loading an parsing the prolog
program and include the loaded program into current engine.
- include(Reader) - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Consult a prolog program from specified reader parsing the prolog program and
include this program into current prolog engine.
- INDICATOR_NOT_FOUND - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- IndicatorError - Error in io.github.prolobjectlink.prolog
-
Runtime error raised when occurs one call to get get indicator method over a
term that no have indicator property.
- IndicatorError(Object) - Constructor for error io.github.prolobjectlink.prolog.IndicatorError
-
Create an indicator runtime error.
- info(Object, Object) - Method in class io.github.prolobjectlink.prolog.AbstractLogger
-
- info(Object, Object, Throwable) - Method in class io.github.prolobjectlink.prolog.AbstractLogger
-
- info(Object, Object) - Method in interface io.github.prolobjectlink.prolog.PrologLogger
-
Log a message from a given object sender at
Level.INFO level.
- info(Object, Object, Throwable) - Method in interface io.github.prolobjectlink.prolog.PrologLogger
-
Log a message from a given object sender at
Level.INFO level.
- INSTANTIATION - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- INTEGER_TYPE - Static variable in class io.github.prolobjectlink.prolog.PrologTermType
-
Integer type constant
- INTERRUPTED_ERROR - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- INVOCATION_TARGET - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- IO - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- io.github.prolobjectlink.prolog - package io.github.prolobjectlink.prolog
-
- io.github.prolobjectlink.prolog.spi - package io.github.prolobjectlink.prolog.spi
-
- isAnonymous() - Method in interface io.github.prolobjectlink.prolog.PrologVariable
-
Check that current variable be an anonymous variable
- isAtom() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isAtom() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this term is an atom
- isAtomic() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isAtomic() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a atomic term, false in other case
- isClass() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- isClass() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Deprecated.
- isClause() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- isClause() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- isClause() - Method in interface io.github.prolobjectlink.prolog.PrologElement
-
True if this element is a clause
- isCompliant() - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- isCompliant() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
True if wrapped engine implement ISO Prolog and false in other case
- isCompound() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isCompound() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a compound term, false in other case
- isDirective() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- isDirective() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
True if this clause is a directive, false in other case.
- isDiscontiguous() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- isDiscontiguous(String, int) - Method in class io.github.prolobjectlink.prolog.AbstractProgram
-
- isDiscontiguous() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
- isDiscontiguous() - Method in interface io.github.prolobjectlink.prolog.PrologClauses
-
- isDiscontiguous(String, int) - Method in interface io.github.prolobjectlink.prolog.PrologProgram
-
- isDouble() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isDouble() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a double precision floating point number, false in other
case
- isDynamic() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- isDynamic(String, int) - Method in class io.github.prolobjectlink.prolog.AbstractProgram
-
- isDynamic() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
- isDynamic() - Method in interface io.github.prolobjectlink.prolog.PrologClauses
-
- isDynamic(String, int) - Method in interface io.github.prolobjectlink.prolog.PrologProgram
-
- isEmpty() - Method in interface io.github.prolobjectlink.prolog.PrologList
-
Return true if the current list don't have any elements, false in other case.
- isEmptyList() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a empty list term ([]), false in other case
- isEntry() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- isEntry() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a Entry, false in other case
- isEvaluable() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isEvaluable() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Check if the current term is a compound term and have like functor an
operator.
- isFact() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- isFact() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
True if this clause is a fact, false in other case.
- isFalseType() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isFalseType() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Check if the current term is a reference term and the referenced object is an
instance of java false value.
- isField() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- isField() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Deprecated.
- isFloat() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isFloat() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a single precision floating point number, false in other
case
- isFunction() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- isFunction() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
True if this clause is a function, false in other case.
- isInteger() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isInteger() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is an integer number, false in other case
- isList() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a list, false in other case
- isLong() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isLong() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a large integer number, false in other case
- isMap() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- isMap() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a Map, false in other case
- isMethod() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- isMethod() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
True if this clause is a rule, false in other case.
- isMixin() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- isMixin() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Deprecated.
- isMultifile() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- isMultifile(String, int) - Method in class io.github.prolobjectlink.prolog.AbstractProgram
-
- isMultifile() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
- isMultifile() - Method in interface io.github.prolobjectlink.prolog.PrologClauses
-
- isMultifile(String, int) - Method in interface io.github.prolobjectlink.prolog.PrologProgram
-
- isNil() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isNil() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a nil term (null term for prolog), false in other case
- isNullType() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isNullType() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Check if the current term is a reference term and the referenced object is a
java null value.
- isNumber() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isNumber() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this term is an number
- isObjectType() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isObjectType() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Check if the current term is a reference term for some java object instance.
- isParameter() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- isParameter() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Deprecated.
- isProgramEmpty() - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- isProgramEmpty() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Check if the program in main memory is empty returning true if the clause
number in the program is 0 and false in otherwise.
- isReference() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isReference() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Check if the current term is a reference term for some java object instance
or is a reference term and the referenced object is a java null value.
- isResult() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- isResult() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Deprecated.
- isRule() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- isRule() - Method in interface io.github.prolobjectlink.prolog.PrologClause
-
True if this clause is a rule, false in other case.
- isStructure() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a structured term, false in other case
- isTerm() - Method in class io.github.prolobjectlink.prolog.AbstractClause
-
- isTerm() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- isTerm() - Method in interface io.github.prolobjectlink.prolog.PrologElement
-
True if this term is a term
- isTrueType() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isTrueType() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Check if the current term is a reference term and the referenced object is an
instance of java true value.
- isVariable() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isVariable() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a variable, false in other case
- isVariableBound() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- isVariableBound() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a instanced variable, false in other case
- isVariableNotBound() - Method in class io.github.prolobjectlink.prolog.AbstractTerm
-
- isVariableNotBound() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
True if this Term is a not instanced variable, false in other case
- isVoidType() - Method in class io.github.prolobjectlink.prolog.AbstractCompounds
-
- isVoidType() - Method in interface io.github.prolobjectlink.prolog.PrologTerm
-
Check if the current term is a reference term for java void type.
- iterator() - Method in class io.github.prolobjectlink.prolog.AbstractProgram
-
- iterator() - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- NAMESPACE_TYPE - Static variable in class io.github.prolobjectlink.prolog.PrologTermType
-
Namespace type constant
- neck(PrologTerm, String, PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologClauseBuilder
-
Append to the clause builder the first term in the clause body.
- neck(String, PrologTerm...) - Method in interface io.github.prolobjectlink.prolog.PrologClauseBuilder
-
Append to the clause builder the first term in the clause body.
- neck(PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologClauseBuilder
-
Append to the clause builder the first term in the clause body.
- newAtom(String) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog atom term setting like atom value the given string.
- newClauseBuilder() - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- newClauseBuilder() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Create a new clause builder instance to build prolog clauses
programmatically.
- newClauses(String, int) - Method in interface io.github.prolobjectlink.prolog.PrologProgram
-
- newDouble() - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- newDouble() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog double number instance with 0.0 value.
- newDouble(Number) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog double number instance with the given value.
- newEngine() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a new prolog engine instance ready to be operate.
- newEngine(String) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a new prolog engine instance ready to be operate.
- newEntry(PrologTerm, PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a new PrologEntry using key-value pair of PrologTerm type.
- newEntry(Object, Object) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a new PrologEntry using key-value pair of Java object type.The given
objects are converted to PrologTerm before entry creation.
- newFloat() - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- newFloat() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog float number instance with 0.0 value.
- newFloat(Number) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog float number instance with 0.0 value.
- newInteger() - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- newInteger() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog integer number instance with 0 value.
- newInteger(Number) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog integer number instance with the given value.
- newList(PrologTerm) - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- newList(Object) - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- newList(Object[]) - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- newList(Object, Object) - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- newList(Object[], Object) - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- newList() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create an empty prolog list term.
- newList(PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog list with one term item.
- newList(PrologTerm[]) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog list from prolog terms arguments array and the tail item is
an empty list.
- newList(PrologTerm, PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog list with two terms items [head | tail].
- newList(PrologTerm[], PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog list from prolog terms arguments array and the tail item is
the given prolog term.
- newList(Object) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog list with one object item.
- newList(Object[]) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog list from java objects arguments array and the tail item is
an empty list.
- newList(Object, Object) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog list with two java objects items [head | tail].
- newList(Object[], Object) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog list from java objects arguments array and the tail item is
the given java object.
- newLong() - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- newLong() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog long number instance with 0 value.
- newLong(Number) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog long number instance with the given value.
- newMap(Map<PrologTerm, PrologTerm>) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
- newMap(int) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Constructs an empty
PrologMap with the specified initial capacity.
- newMap() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Constructs an empty
PrologMap with the default initial capacity (16).
- newQueryBuilder() - Method in class io.github.prolobjectlink.prolog.AbstractEngine
-
- newQueryBuilder() - Method in interface io.github.prolobjectlink.prolog.PrologEngine
-
Create a new query builder instance to build prolog goal programmatically.
- newReference(Object) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog object reference term that hold the given object.
- newStructure(String, Object...) - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- newStructure(Object, String, Object) - Method in class io.github.prolobjectlink.prolog.AbstractProvider
-
- newStructure(String, PrologTerm...) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog structure with the functor (structure name) and prolog terms
arguments array.
- newStructure(String, Object...) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog structure with the functor (structure name) and java objects
arguments array.
- newStructure(PrologTerm, String, PrologTerm) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog structure that represent an expression defined by your left
and right operands separated by infix operator.
- newStructure(Object, String, Object) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog structure that represent an expression defined by your left
and right operands separated by infix operator.
- newVariable(int) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create an anonymous variable instance with associated index.
- newVariable(String, int) - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create an named variable instance with associated index.
- next() - Method in class io.github.prolobjectlink.prolog.AbstractEngine.PrologProgramIterator
-
- next() - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- next() - Method in class io.github.prolobjectlink.prolog.ArrayIterator
-
- nextResult() - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- nextResult() - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return the next Java objects solution list for the current query.
- nextSolution() - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return the next prolog terms solution array for the current query.
- nextVariablesResult() - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- nextVariablesResult() - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return the next Java objects that conform the solution set for the current
query.
- nextVariablesSolution() - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return the next prolog terms that conform the solution set for the current
query.
- NIL_TYPE - Static variable in class io.github.prolobjectlink.prolog.PrologTermType
-
Nil type constant
- NO_SPECIFIED - Static variable in class io.github.prolobjectlink.prolog.Licenses
-
No specified
- NO_SUCH_FIELD - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- NO_SUCH_METHOD - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- NON_SOLUTION - Static variable in interface io.github.prolobjectlink.prolog.PrologLogger
-
- nResult(int) - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- nResult(int) - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return a list of list of Java Objects that conform the solution set for the
current query where n is the solution number and m is a free variable number
in the query.
- nSolutions(int) - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return a Prolog terms matrix of n x m order that conform the solution set for
the current query where n is the solution number and m is a free variable
number in the query.
- nths(int) - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- nths(int) - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return a list of n size with maps of variables name key and Prolog terms as
value that conform the solution set for the current query where n is the
solution number.
- nullReference() - Method in interface io.github.prolobjectlink.prolog.PrologProvider
-
Create a prolog object reference term that hold the Java null object
i.e.
- nVariablesResults(int) - Method in class io.github.prolobjectlink.prolog.AbstractQuery
-
- nVariablesResults(int) - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return a list of n size with maps of variables name key and Java objects as
value that conform the solution set for the current query where n is the
solution number.
- nVariablesSolutions(int) - Method in interface io.github.prolobjectlink.prolog.PrologQuery
-
Return an array of n size with maps of variables name key and Prolog terms as
value that conform the solution set for the current query where n is the
solution number.