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

$

$all_dynamic_predicate_indicators_1(BindingsTable, Term) - Method in class jTrolog.lib.BasicLibrary

$arg_3(BindingsTable, Int, Struct, Term) - Method in class jTrolog.lib.BasicLibrary

$current_pred_impl_3(BindingsTable, Term, Term, IteratorAsTerm) - Method in class jTrolog.lib.BasicLibrary

$debug_1(BindingsTable, Term) - Method in class jTrolog.lib.BuiltIn

$debug_3(BindingsTable, Term, Term, Term) - Method in class jTrolog.lib.BuiltIn

$domain_error_zero_1(BindingsTable, Term) - Method in class jTrolog.lib.BuiltIn

$find_2(BindingsTable, Struct, Term) - Method in class jTrolog.lib.BuiltIn

$functor_3(BindingsTable, Term, Term, Term) - Method in class jTrolog.lib.BasicLibrary

$has_next_1(BindingsTable, IteratorAsTerm) - Method in class jTrolog.lib.BasicLibrary

$instantiation_error_0(BindingsTable) - Method in class jTrolog.lib.BuiltIn

$list_diff_3(BindingsTable, Struct, Struct, Var) - Method in class jTrolog.lib.BasicLibrary

$representation_error_1(BindingsTable, Term) - Method in class jTrolog.lib.BuiltIn

$retract_1(BindingsTable, Struct) - Method in class jTrolog.lib.BuiltIn

$stripBagList_5(BindingsTable, Struct, Struct, Term, Term, Term) - Method in class jTrolog.lib.BasicLibrary

$tofromlist_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.BasicLibrary

$type_error_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.BuiltIn

A

abolish(String, int) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

abolish(String) - Method in class jTrolog.engine.Prolog

abolish_1(BindingsTable, Struct) - Method in class jTrolog.lib.BuiltIn

see 8.9.4 p.81 in ISO standard

abs_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

add_theory_1(BindingsTable, Term) - Method in class jTrolog.lib.BasicLibrary

adds a new theory provided as a text

addTheory(String) - Method in class jTrolog.engine.Prolog

ANY - Static variable in class jTrolog.terms.Var

arity - Variable in class jTrolog.terms.Struct

speedup hash map operation

asserta(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

asserta(PrologTerm) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

asserta(PrologTerm, PrologTerm...) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

assertA(Clause) - Method in class jTrolog.engine.Prolog

asserta_1(BindingsTable, Term) - Method in class jTrolog.lib.BuiltIn

assertz(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

assertz(PrologTerm) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

assertz(PrologTerm, PrologTerm...) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

assertZ(Clause) - Method in class jTrolog.engine.Prolog

The Rule and Fact Database System The Library System

assertz_1(BindingsTable, Term) - Method in class jTrolog.lib.BuiltIn

atan_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

ATOM - Static variable in class jTrolog.terms.Term

atom_1(BindingsTable, Term) - Static method in class jTrolog.lib.BasicLibrary

atom_chars_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.ISOLibrary

atom_length_2(BindingsTable, Struct, Term) - Method in class jTrolog.lib.ISOLibrary

atomic_1(BindingsTable, Term) - Static method in class jTrolog.lib.BasicLibrary

B

BasicLibrary - Class in jTrolog.lib

This class defines a set of basic built-in predicates for the tuProlog engine Library/Theory dependency: none

BasicLibrary() - Constructor for class jTrolog.lib.BasicLibrary

BindingsTable - Class in jTrolog.engine

Keeps track of what variables are bound to what Terms and at which ChoicePoint this connection was made.

BindingsTable() - Constructor for class jTrolog.engine.BindingsTable

bindingsToString() - Method in class jTrolog.engine.Solution

BuiltIn - Class in jTrolog.lib

Library of built-in predicates

BuiltIn(Prolog) - Constructor for class jTrolog.lib.BuiltIn

C

call_1(BindingsTable, Term) - Static method in class jTrolog.lib.BuiltIn

callSignature - Static variable in class jTrolog.parser.Parser

catchSignature - Static variable in class jTrolog.parser.Parser

ceiling_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

char_code_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.ISOLibrary

clause(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

clause(PrologTerm) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

clause(PrologTerm, PrologTerm...) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

Clause - Class in jTrolog.terms

Wrapper object to store both the original Struct and its converted clause in the same object

Clause(Struct[], Struct, Struct) - Constructor for class jTrolog.terms.Clause

clear() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

clearTheory() - Method in class jTrolog.engine.Prolog

removes all dynamic predicates

comma_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.BuiltIn

Primitives

commaSignature - Static variable in class jTrolog.parser.Parser

compareDoubleValues(Number, Number) - Static method in class jTrolog.terms.Number

compound_1(BindingsTable, Term) - Static method in class jTrolog.lib.BasicLibrary

constant_1(BindingsTable, Term) - Static method in class jTrolog.lib.BasicLibrary

consult(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

consult(Reader) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

consult_1(BindingsTable, Term) - Method in class jTrolog.lib.BuiltIn

contains(Map.Entry<PrologTerm, PrologTerm>) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

containsKey(Object) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

containsValue(Object) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

context - Variable in class jTrolog.terms.WrapStruct

convertTermToClause(Term) - Static method in class jTrolog.lib.BuiltIn

see ISO 7.6.1 and 7.6.2

convertTermToClauseBody(Term) - Static method in class jTrolog.lib.BuiltIn

convertTermToClauseBody2(Term) - Static method in class jTrolog.lib.BuiltIn

copy_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.BuiltIn

cos_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

create(String) - Static method in class jTrolog.terms.Int

create(String) - Static method in class jTrolog.terms.Number

createListContainingAnyVars(int) - Static method in class jTrolog.parser.Parser

createStructList(Collection) - Method in class jTrolog.engine.BindingsTable

createStructList(LinkedList) - Static method in class jTrolog.parser.Parser

current_time_1(BindingsTable, Term) - Method in class jTrolog.lib.BasicLibrary

currentOperator(int, String, String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

currentOperators() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

currentPredicate(String, int) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

cut_0(BindingsTable) - Static method in class jTrolog.lib.BuiltIn

cutSignature - Static variable in class jTrolog.parser.Parser

D

DCGLibrary - Class in jTrolog.lib

Library for managing DCGs.

DCGLibrary() - Constructor for class jTrolog.lib.DCGLibrary

defaultMachine - Static variable in class jTrolog.engine.Prolog

defineFlag(String, Struct, Term, boolean) - Method in class jTrolog.engine.Prolog

deunify_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.BuiltIn

dismiss() - Method in class jTrolog.lib.Library

method invoked by prolog engine when library is going to be removed

dispose() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

div_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

Double - Class in jTrolog.terms

Double class represents the double prolog data type

Double(double) - Constructor for class jTrolog.terms.Double

Double(String) - Constructor for class jTrolog.terms.Double

doubleClauseSignature - Static variable in class jTrolog.parser.Parser

doubleValue() - Method in class jTrolog.terms.Double

Returns the value of the Double as double

doubleValue() - Method in class jTrolog.terms.Float

Returns the value of the Float as double

doubleValue() - Method in class jTrolog.terms.Int

Returns the value of the Integer as double

doubleValue() - Method in class jTrolog.terms.Long

Returns the value of the Integer as double

doubleValue() - Method in class jTrolog.terms.Number

Returns the value of the number as double

dynamic_1(BindingsTable, Struct) - Method in class jTrolog.lib.BuiltIn

Registers the existence predicate indicator in the dynamic data base.

dynamicPredicateIndicators() - Method in class jTrolog.engine.Prolog

E

emptyList - Static variable in class jTrolog.terms.Term

engine - Variable in class jTrolog.lib.Library

prolog core which loaded the library

entrySet() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

equals(Object) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

equals(Object) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

equals(Object) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

equals(Object) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologReference

equals(Object) - Method in class jTrolog.terms.Float

equals(Object) - Method in class jTrolog.terms.Int

equals(Object) - Method in class jTrolog.terms.Struct

equals(Object) - Method in class jTrolog.terms.StructAtom

equals(Object) - Method in class jTrolog.terms.Var

equals(Object) - Method in class jTrolog.terms.WrapVar

erase_1(BindingsTable, Number) - Method in class jTrolog.lib.BasicLibrary

erase_2(BindingsTable, Number, Term) - Method in class jTrolog.lib.BasicLibrary

eval_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

evalExpression(Prolog, EvaluableTerm) - Method in class jTrolog.engine.BindingsTable

evalPrimitive(PrimitiveInfo, Object[]) - Static method in class jTrolog.engine.Prolog

EvaluableTerm - Class in jTrolog.terms

Both Structs and Number are considered potentially evaluable.

EvaluableTerm() - Constructor for class jTrolog.terms.EvaluableTerm

exp_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

expandLinkTable(int) - Method in class jTrolog.engine.BindingsTable

expression_bitwise_and_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_bitwise_not_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_bitwise_or_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_bitwise_shift_left_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_bitwise_shift_right_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_div_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_equality_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_greater_or_equal_than_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_greater_than_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_integer_div_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_less_or_equal_than_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_less_than_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_minus_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_minus_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_multiply_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_plus_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_plus_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

expression_pow_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

F

fail_0(BindingsTable) - Static method in class jTrolog.lib.BuiltIn

failSignature - Static variable in class jTrolog.parser.Parser

FALSE - Static variable in class jTrolog.terms.Term

falseReference() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

find(String) - Method in class jTrolog.engine.Prolog

Flag - Class in jTrolog.terms

This class represents a prolog Flag

Flag(String, Struct, Term, boolean) - Constructor for class jTrolog.terms.Flag

Builds a Prolog flag

flag_4(BindingsTable, Term, Struct, Term, Term) - Method in class jTrolog.lib.BuiltIn

flag_list_1(BindingsTable, Term) - Method in class jTrolog.lib.BuiltIn

flatCopy(Term, int) - Method in class jTrolog.engine.BindingsTable

Float - Class in jTrolog.terms

Float class represents the float prolog data type

Float() - Constructor for class jTrolog.terms.Float

Float(float) - Constructor for class jTrolog.terms.Float

Float(String) - Constructor for class jTrolog.terms.Float

float_1(BindingsTable, Term) - Static method in class jTrolog.lib.BasicLibrary

float_fractional_part_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

float_integer_part_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

floatSignature - Static variable in class jTrolog.parser.Parser

floatValue() - Method in class jTrolog.terms.Double

Returns the value of the Double as float

floatValue() - Method in class jTrolog.terms.Float

Returns the value of the Float as float

floatValue() - Method in class jTrolog.terms.Int

Returns the value of the Integer as float

floatValue() - Method in class jTrolog.terms.Long

Returns the value of the Integer as float

floatValue() - Method in class jTrolog.terms.Number

Returns the value of the number as float

floor_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

FX - Static variable in class jTrolog.engine.Prolog

FY - Static variable in class jTrolog.engine.Prolog

G

get(Object) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

get0_1(BindingsTable, Term) - Method in class jTrolog.lib.IOLibrary

get_1(BindingsTable, Term) - Method in class jTrolog.lib.IOLibrary

get_operators_list_1(BindingsTable, Struct) - Method in class jTrolog.lib.BasicLibrary

get_prolog_flag_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.BuiltIn

get_theory_1(BindingsTable, Term) - Method in class jTrolog.lib.BasicLibrary

gets current theory text

getAndResetWarnings() - Method in class jTrolog.engine.Prolog

getArg(int) - Method in class jTrolog.terms.Struct

Gets the i-th element of this structure No bound check is done

getArg(int) - Method in class jTrolog.terms.WrapStruct

getArgument(int) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

getArguments() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

getArguments() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

getArguments() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologReference

getArity() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

getArity() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

getArity() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologReference

getBasis() - Method in interface jTrolog.terms.Wrapper

getBasis() - Method in class jTrolog.terms.WrapStruct

getBasis() - Method in class jTrolog.terms.WrapVar

getBinding(String) - Method in class jTrolog.engine.Solution

getBuiltIns() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

getContext() - Method in interface jTrolog.terms.Wrapper

getContext() - Method in class jTrolog.terms.WrapStruct

getContext() - Method in class jTrolog.terms.WrapVar

getCurrentLibraries() - Method in class jTrolog.engine.Prolog

getCurrentLine() - Method in class jTrolog.parser.Parser

getCurrentOperators() - Method in class jTrolog.engine.Prolog

Gets the list of the operators currently defined

getFlag(String) - Method in class jTrolog.engine.Prolog

getFlagValue(String) - Method in class jTrolog.engine.Prolog

getFunctor() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

getFunctor() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

getFunctor() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologReference

getHead() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

getIntegerNumber(long) - Static method in class jTrolog.terms.Number

getJavaConverter() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

getKey() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

getLastConsultedTheory() - Method in class jTrolog.engine.Prolog

getLibrary(String) - Method in class jTrolog.engine.Prolog

getLibraryName() - Method in exception jTrolog.errors.InvalidLibraryException

getLicense() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

getLogger() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

getMessage() - Method in exception jTrolog.errors.InvalidLibraryException

getMethodCallSyntax(String, String, String...) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologScriptFactory

getName() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

getName() - Method in class jTrolog.lib.Library

getName() - Method in class jTrolog.terms.Flag

getObject() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologReference

getOperatorPriority(String, int) - Method in class jTrolog.engine.Prolog

getOperatorType() - Method in class jTrolog.terms.Struct

getOperatorType() - Method in class jTrolog.terms.WrapStruct

getPredicates() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

getPrintStream() - Method in class jTrolog.engine.Prolog

getProgram() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

getProgramSize() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

getPrologFlagList() - Method in class jTrolog.engine.Prolog

getReferenceType() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologReference

getSolution() - Method in class jTrolog.engine.Solution

getSynonym(String) - Method in class jTrolog.lib.BasicLibrary

Defines a map for synonyms for primitives.

getSynonym(String) - Method in class jTrolog.lib.BuiltIn

Defines a map for synonyms for primitives.

getSynonym(String) - Method in class jTrolog.lib.ISOLibrary

getSynonym(String) - Method in class jTrolog.lib.Library

Defines a map for synonyms for primitives.

getTail() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

getTerm() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologReference

getTheory() - Method in class jTrolog.engine.Prolog

getTheory() - Method in class jTrolog.lib.BasicLibrary

getTheory() - Method in class jTrolog.lib.DCGLibrary

getTheory() - Method in class jTrolog.lib.IOLibrary

getTheory() - Method in class jTrolog.lib.ISOLibrary

library theory

getTheory() - Method in class jTrolog.lib.Library

getUniqueExecutionCtxID() - Method in class jTrolog.engine.BindingsTable

getValue() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

getValue() - Method in class jTrolog.terms.Flag

getValueList() - Method in class jTrolog.terms.Flag

getVarList() - Method in class jTrolog.terms.Struct

getVarList() - Method in class jTrolog.terms.WrapStruct

getVendor() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

getVersion() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

ground_1(BindingsTable, Term) - Static method in class jTrolog.lib.BasicLibrary

H

halt_0(BindingsTable) - Static method in class jTrolog.lib.BuiltIn

halt_1(BindingsTable, Number) - Method in class jTrolog.lib.BuiltIn

hashCode() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

hashCode() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

hashCode() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

hashCode() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologReference

hashCode() - Method in class jTrolog.terms.Var

hashCode() - Method in class jTrolog.terms.WrapVar

hasNext() - Method in class jTrolog.terms.IteratorAsTerm

hasNext() - Method in class jTrolog.terms.Wrapper.WrappedIterator

hasOpenAlternatives() - Method in class jTrolog.engine.Prolog

Asks for the presence of open alternatives to be explored in current demostration process.

hasPrimitive(String) - Method in class jTrolog.engine.Prolog

hasPrimitiveExp(String) - Method in class jTrolog.engine.Prolog

head - Variable in class jTrolog.terms.Clause

I

ifSignature - Static variable in class jTrolog.parser.Parser

include(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

include(Reader) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

Int - Class in jTrolog.terms

Int class represents the integer prolog data type

Int() - Constructor for class jTrolog.terms.Int

Int(String) - Constructor for class jTrolog.terms.Int

Int(int) - Constructor for class jTrolog.terms.Int

integer_1(BindingsTable, Term) - Static method in class jTrolog.lib.BasicLibrary

intsToStructList(int[]) - Static method in class jTrolog.parser.Parser

intValue() - Method in class jTrolog.terms.Double

Returns the value of the Double as int

intValue() - Method in class jTrolog.terms.Float

Returns the value of the Float as int

intValue() - Method in class jTrolog.terms.Int

Returns the value of the Integer as int

intValue() - Method in class jTrolog.terms.Long

Returns the value of the Integer as int

intValue() - Method in class jTrolog.terms.Number

Returns the value of the number as int

InvalidLibraryException - Exception in jTrolog.errors

This exception means that a not valid tuProlog library has been specified.

InvalidLibraryException() - Constructor for exception jTrolog.errors.InvalidLibraryException

InvalidLibraryException(String, PrologException) - Constructor for exception jTrolog.errors.InvalidLibraryException

InvalidLibraryException(String) - Constructor for exception jTrolog.errors.InvalidLibraryException

InvalidTermException - Exception in jTrolog.errors

This exeption means that a not valid tuProlog term has been specified.

InvalidTermException(String) - Constructor for exception jTrolog.errors.InvalidTermException

io.github.prolobjectlink.prolog.jtrolog - package io.github.prolobjectlink.prolog.jtrolog

IOLibrary - Class in jTrolog.lib

This class provides basic I/O predicates.

IOLibrary() - Constructor for class jTrolog.lib.IOLibrary

is_2(BindingsTable, Term, EvaluableTerm) - Method in class jTrolog.lib.BasicLibrary

isAnonymous() - Method in class jTrolog.terms.Var

Tests if this variable is ANY

isAnonymous() - Method in class jTrolog.terms.WrapVar

isAtom(String) - Static method in class jTrolog.parser.Parser

isEmpty() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

isEmptyList() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

isEmptyList() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

isList() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

isList() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

isModifiable() - Method in class jTrolog.terms.Flag

ISOLibrary - Class in jTrolog.lib

This class represents a tuProlog library providing most of the built-ins predicates and functors defined by ISO standard.

ISOLibrary() - Constructor for class jTrolog.lib.ISOLibrary

isPredicateIndicator(Struct, BindingsTable) - Static method in class jTrolog.lib.BuiltIn

isSemiAndNotIf(Struct) - Static method in class jTrolog.parser.Parser

isStructure() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

isStructure() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

iterator() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

iterator() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

iterator() - Method in class jTrolog.parser.Parser

iterator(Struct) - Static method in class jTrolog.terms.Struct

iterator - Static variable in class jTrolog.terms.Term

IteratorAsTerm - Class in jTrolog.terms

IteratorAsTerm(Iterator) - Constructor for class jTrolog.terms.IteratorAsTerm

J

JTrolog - Class in io.github.prolobjectlink.prolog.jtrolog

JTrolog() - Constructor for class io.github.prolobjectlink.prolog.jtrolog.JTrolog

jTrolog.engine - package jTrolog.engine

jTrolog.errors - package jTrolog.errors

jTrolog.lib - package jTrolog.lib

jTrolog.parser - package jTrolog.parser

jTrolog.terms - package jTrolog.terms

JTrologConsole - Class in io.github.prolobjectlink.prolog.jtrolog

JTrologConsole() - Constructor for class io.github.prolobjectlink.prolog.jtrolog.JTrologConsole

JTrologEngine - Class in io.github.prolobjectlink.prolog.jtrolog

JTrologEngine(PrologProvider, Prolog) - Constructor for class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

JTrologEntry - Class in io.github.prolobjectlink.prolog.jtrolog

PrologEntry is key-value pair of PrologTerm.

JTrologMap - Class in io.github.prolobjectlink.prolog.jtrolog

A PrologTerm that maps PrologTerm keys to PrologTerm values.

JTrologReference - Class in io.github.prolobjectlink.prolog.jtrolog

JTrologReference(PrologProvider, Object) - Constructor for class io.github.prolobjectlink.prolog.jtrolog.JTrologReference

JTrologScriptFactory - Class in io.github.prolobjectlink.prolog.jtrolog

JTrologScriptFactory() - Constructor for class io.github.prolobjectlink.prolog.jtrolog.JTrologScriptFactory

K

keySet() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

L

Library - Class in jTrolog.lib

This abstract class is the base class for developing built-in libraries, which can be dynamically loaded by prolog objects.

Library() - Constructor for class jTrolog.lib.Library

list_1(BindingsTable, Term) - Static method in class jTrolog.lib.BasicLibrary

listSignature - Static variable in class jTrolog.parser.Parser

load_library_1(BindingsTable, Struct) - Method in class jTrolog.lib.BuiltIn

load_library_1(BindingsTable, Term) - Method in class jTrolog.lib.BuiltIn

load_library_2(BindingsTable, Struct, Term) - Method in class jTrolog.lib.BasicLibrary

loadLibrary(String) - Method in class jTrolog.engine.Prolog

Loads a library.

loadLibrary(Library) - Method in class jTrolog.engine.Prolog

Loads a specific instance of a library If a library of the same class is already present, a warning event is notified.

log_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

Long - Class in jTrolog.terms

Long class represents the long prolog data type

Long(long) - Constructor for class jTrolog.terms.Long

Long(String) - Constructor for class jTrolog.terms.Long

longValue() - Method in class jTrolog.terms.Double

Returns the value of the Double as long

longValue() - Method in class jTrolog.terms.Float

Returns the value of the Float as long

longValue() - Method in class jTrolog.terms.Int

Returns the value of the Integer as long

longValue() - Method in class jTrolog.terms.Long

Returns the value of the Integer as long

longValue() - Method in class jTrolog.terms.Number

Returns the value of the number as long

M

main(String[]) - Static method in class io.github.prolobjectlink.prolog.jtrolog.JTrologConsole

main(String[]) - Static method in class jTrolog.engine.Prolog

Starts a command line interface with jTrolog Prolog engine.

MARGIN - Static variable in class jTrolog.terms.Number

match(Term, Term) - Static method in class jTrolog.engine.Prolog

Matches the structure of the two original terms.

mod_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

N

name - Variable in class jTrolog.terms.Struct

new_record_key_1(BindingsTable, Var) - Method in class jTrolog.lib.BasicLibrary

newAtom(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newDouble(Number) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newEngine() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newEngine(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newEntry(PrologTerm, PrologTerm) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newEntry(Object, Object) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newFloat(Number) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newInteger(Number) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newList() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newList(PrologTerm[]) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newList(PrologTerm, PrologTerm) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newList(PrologTerm[], PrologTerm) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newlist_2(BindingsTable, Int, Var) - Method in class jTrolog.lib.BuiltIn

newLong(Number) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newMap(Map<PrologTerm, PrologTerm>) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newMap(int) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newMap() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newReference(Object) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newStructure(String, PrologTerm...) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newStructure(PrologTerm, String, PrologTerm) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newVariable(int) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

newVariable(String, int) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

next() - Method in class jTrolog.terms.IteratorAsTerm

next() - Method in class jTrolog.terms.Wrapper.WrappedIterator

nextTerm(boolean) - Method in class jTrolog.parser.Parser

Parses next term from the stream built on string.

nl_0(BindingsTable) - Method in class jTrolog.lib.IOLibrary

NoMorePrologSolutions - Exception in jTrolog.errors

This exception means that other solutions are asked but actually no other ones exist.

NoMorePrologSolutions() - Constructor for exception jTrolog.errors.NoMorePrologSolutions

nonvar_1(BindingsTable, Term) - Method in class jTrolog.lib.BasicLibrary

nowarning_0(BindingsTable) - Method in class jTrolog.lib.BasicLibrary

nrInStruct - Variable in class jTrolog.terms.Var

nullReference() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

num_atom_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.BasicLibrary

Number - Class in jTrolog.terms

Number abstract class represents numbers prolog data type

Number() - Constructor for class jTrolog.terms.Number

NUMBER - Static variable in class jTrolog.terms.Term

number_1(BindingsTable, Term) - Static method in class jTrolog.lib.BasicLibrary

number_equality_2(Number, Number) - Static method in class jTrolog.lib.BasicLibrary

O

onSolveBegin(Term) - Method in class jTrolog.engine.Prolog

onSolveBegin(Term) - Method in class jTrolog.lib.Library

method invoked when the engine is going to demonstrate a goal

onSolveEnd() - Method in class jTrolog.engine.Prolog

onSolveEnd() - Method in class jTrolog.lib.Library

method invoked when the engine has finished a demostration

op_3(BindingsTable, Number, StructAtom, StructAtom) - Method in class jTrolog.lib.BuiltIn

op(+Precedence, +Type, +Name) defines a new operator if precedence not in 0..1200 = delete currently present op

OP_HIGH - Static variable in class jTrolog.engine.Prolog

OP_LOW - Static variable in class jTrolog.engine.Prolog

operator(int, String, String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

operatorType - Variable in class jTrolog.terms.Struct

opNew(String, int, int) - Method in class jTrolog.engine.Prolog

opNew(String, String, int) - Method in class jTrolog.engine.Prolog

original - Variable in class jTrolog.terms.Clause

P

parseNumber(String) - Static method in class jTrolog.parser.Parser

Parser - Class in jTrolog.parser

This class defines a parser of prolog terms and sentences.

Parser(InputStream, Prolog) - Constructor for class jTrolog.parser.Parser

creating a Parser specifing how to handle operators and what text to parse

Parser(String, Prolog) - Constructor for class jTrolog.parser.Parser

creating a Parser specifing how to handle operators and what text to parse

Parser(String) - Constructor for class jTrolog.parser.Parser

creating a parser with default operator interpretation

Parser(InputStream) - Constructor for class jTrolog.parser.Parser

creating a parser with default operator interpretation

parseTerm(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

parseTerms(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

persist(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

pos - Variable in class jTrolog.terms.Term

predicateIndicator - Variable in class jTrolog.terms.Struct

prePost - Variable in class jTrolog.terms.Term

print_1(BindingsTable, Term) - Method in class jTrolog.lib.IOLibrary

Prolog - Class in jTrolog.engine

The class representing a jTrolog Prolog machine.

Prolog() - Constructor for class jTrolog.engine.Prolog

Builds a prolog engine with default libraries: BasicLibrary, ISOLibrary, IOLibrary

Prolog(String) - Constructor for class jTrolog.engine.Prolog

Builds a prolog engine with default libraries: BasicLibrary, ISOLibrary, IOLibrary + the extraLib

Prolog(String[]) - Constructor for class jTrolog.engine.Prolog

Builds a prolog engine using _only_ the specified libraries as parameters

prologCut() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

prologEmpty() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

PrologException - Exception in jTrolog.errors

Base class for tuProlog exceptions.

PrologException() - Constructor for exception jTrolog.errors.PrologException

PrologException(String) - Constructor for exception jTrolog.errors.PrologException

prologFail() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

prologFalse() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

prologInclude(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

prologNil() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

prologTrue() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

put(Map.Entry<PrologTerm, PrologTerm>) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

put(PrologTerm, PrologTerm) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

put_1(BindingsTable, Term) - Method in class jTrolog.lib.IOLibrary

putAll(Collection<Map.Entry<PrologTerm, PrologTerm>>) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

putAll(Map<? extends PrologTerm, ? extends PrologTerm>) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

Q

query(PrologTerm) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

query(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

query(PrologTerm[]) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

query(PrologTerm, PrologTerm...) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

R

rand_float_1(BindingsTable, Term) - Method in class jTrolog.lib.IOLibrary

rand_int_2(BindingsTable, Number, Term) - Method in class jTrolog.lib.IOLibrary

read_1(BindingsTable, Term) - Method in class jTrolog.lib.IOLibrary

readStream(InputStream) - Static method in class jTrolog.lib.IOLibrary

record_2(BindingsTable, Number, Term) - Method in class jTrolog.lib.BasicLibrary

recorded_2(BindingsTable, Number, Term) - Method in class jTrolog.lib.BasicLibrary

reference - Variable in class io.github.prolobjectlink.prolog.jtrolog.JTrologReference

rem_2(BindingsTable, EvaluableTerm, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

remove(Map.Entry<PrologTerm, PrologTerm>) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

remove(Object) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

remove() - Method in class jTrolog.terms.Wrapper.WrappedIterator

removeApices(String) - Static method in class jTrolog.parser.Parser

resetWarningList() - Method in class jTrolog.engine.Prolog

resolve(Term) - Method in class jTrolog.engine.BindingsTable

resolveFaster(Term, int) - Method in class jTrolog.engine.BindingsTable

retract(String) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

retract(PrologTerm) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

retract(PrologTerm, PrologTerm...) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

retract(Struct) - Method in class jTrolog.engine.Prolog

round_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

S

see_1(BindingsTable, Term) - Method in class jTrolog.lib.IOLibrary

seeing_1(BindingsTable, Term) - Method in class jTrolog.lib.IOLibrary

seen_0(BindingsTable) - Method in class jTrolog.lib.IOLibrary

semiColonSignature - Static variable in class jTrolog.parser.Parser

set_prolog_flag_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.BuiltIn

set_theory_1(BindingsTable, Term) - Method in class jTrolog.lib.BasicLibrary

sets a new theory provided as a text

setDynamicPredicateIndicator(String) - Method in class jTrolog.engine.Prolog

setEngine(Prolog) - Method in class jTrolog.lib.Library

setPrintStream(PrintStream) - Method in class jTrolog.engine.Prolog

setTheory(String) - Method in class jTrolog.engine.Prolog

Deprecated.

use clearTheory() + addTheory(newTheory) instead

setValue(PrologTerm) - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

setValue(Term) - Method in class jTrolog.terms.Flag

Sets the value of a flag

sign_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

sin_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

singleClauseSignature - Static variable in class jTrolog.parser.Parser

size() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

Solution - Class in jTrolog.engine

Solution(Term) - Constructor for class jTrolog.engine.Solution

Solution(HashMap, Term) - Constructor for class jTrolog.engine.Solution

solve(String) - Method in class jTrolog.engine.Prolog

Solves a query

solve(Struct) - Method in class jTrolog.engine.Prolog

Solves a query

solve_1(BindingsTable, Struct) - Method in class jTrolog.lib.BuiltIn

solveNext() - Method in class jTrolog.engine.Prolog

Gets next solution

sqrt_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

stringToStructList(String) - Static method in class jTrolog.parser.Parser

Struct - Class in jTrolog.terms

Struct class represents both compound prolog term and atom term (considered as 0-arity compound).

Struct(String, Term[], int) - Constructor for class jTrolog.terms.Struct

Struct representing an operator

Struct(String, Term[]) - Constructor for class jTrolog.terms.Struct

Compound struct with an array of arguments

STRUCT - Static variable in class jTrolog.terms.Term

StructAtom - Class in jTrolog.terms

StructAtom(String) - Constructor for class jTrolog.terms.StructAtom

structListIterator(Struct, boolean) - Method in class jTrolog.engine.BindingsTable

success() - Method in class jTrolog.engine.Solution

T

tab_1(BindingsTable, Int) - Method in class jTrolog.lib.IOLibrary

tail - Variable in class jTrolog.terms.Clause

tell_1(BindingsTable, Term) - Method in class jTrolog.lib.IOLibrary

telling_1(BindingsTable, Term) - Method in class jTrolog.lib.IOLibrary

Term - Class in jTrolog.terms

Term class - root prolog data type

Term() - Constructor for class jTrolog.terms.Term

term_equality_2(BindingsTable, Term, Term) - Static method in class jTrolog.lib.BasicLibrary

term_greater_than_2(BindingsTable, Term, Term) - Static method in class jTrolog.lib.BasicLibrary

term_less_than_2(BindingsTable, Term, Term) - Static method in class jTrolog.lib.BasicLibrary

text_concat_3(BindingsTable, Term, Term, Term) - Method in class jTrolog.lib.BasicLibrary

text_from_file_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.IOLibrary

reads a source text from a file.

text_term_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.BasicLibrary

bidirectional text/term conversion.

throwSignature - Static variable in class jTrolog.parser.Parser

told_0(BindingsTable) - Method in class jTrolog.lib.IOLibrary

toString() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

toString() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEntry

toString() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

toString() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologReference

toString() - Method in class jTrolog.engine.Solution

toString() - Method in exception jTrolog.errors.InvalidLibraryException

toString() - Method in class jTrolog.terms.Double

toString() - Method in class jTrolog.terms.Float

toString() - Method in class jTrolog.terms.Int

toString() - Method in class jTrolog.terms.Long

toString() - Method in class jTrolog.terms.Struct

Gets the string representation of this structure Specific representations are provided for lists and atoms.

toString() - Method in class jTrolog.terms.StructAtom

toString() - Method in class jTrolog.terms.Var

Gets the string representation of this variable.

toString() - Method in class jTrolog.terms.WrapStruct

toString() - Method in class jTrolog.terms.WrapVar

toStringList(boolean) - Method in class jTrolog.terms.Struct

toStringSmall() - Method in class jTrolog.terms.IteratorAsTerm

toStringSmall() - Method in class jTrolog.terms.Number

toStringSmall() - Method in class jTrolog.terms.Struct

toStringSmall() - Method in class jTrolog.terms.StructAtom

toStringSmall() - Method in class jTrolog.terms.Term

toStringSmall() - Method in class jTrolog.terms.Var

toStringSmall() - Method in class jTrolog.terms.WrapVar

tree - Variable in class jTrolog.terms.Term

TRUE - Static variable in class jTrolog.terms.Term

true_0(BindingsTable) - Static method in class jTrolog.lib.BuiltIn

trueReference() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

trueSignature - Static variable in class jTrolog.parser.Parser

truncate_1(BindingsTable, EvaluableTerm) - Method in class jTrolog.lib.ISOLibrary

type - Variable in class jTrolog.terms.Term

U

unify(Term, Term) - Method in class jTrolog.engine.BindingsTable

unify_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.BuiltIn

unload_library_1(BindingsTable, Struct) - Method in class jTrolog.lib.BuiltIn

unloads a engine library, given its java class name

unloadLibrary(String) - Method in class jTrolog.engine.Prolog

unWrap(Term) - Static method in class jTrolog.engine.BindingsTable

V

values() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologMap

VAR - Static variable in class jTrolog.terms.Term

Var - Class in jTrolog.terms

This class represents a variable term.

Var(String, int) - Constructor for class jTrolog.terms.Var

Creates a variable identified by a name.

var_1(BindingsTable, Term) - Method in class jTrolog.lib.BasicLibrary

variable_set_2(BindingsTable, Term, Term) - Method in class jTrolog.lib.BasicLibrary

variant(Term) - Method in class jTrolog.engine.BindingsTable

See 7.1.6.1 Variants of a term in the ISO spec this method resolves all the terms children.

verify() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

VERSION - Static variable in class jTrolog.engine.Prolog

voidReference() - Method in class io.github.prolobjectlink.prolog.jtrolog.JTrolog

W

warn(String) - Method in class jTrolog.engine.Prolog

warning_0(BindingsTable) - Method in class jTrolog.lib.BasicLibrary

wrapAtom(String) - Static method in class jTrolog.parser.Parser

Wrapper - Interface in jTrolog.terms

Wrapper.WrappedIterator - Class in jTrolog.terms

WrapStruct - Class in jTrolog.terms

WrapStruct(Struct, int) - Constructor for class jTrolog.terms.WrapStruct

WrapVar - Class in jTrolog.terms

WrapVar(Var, int) - Constructor for class jTrolog.terms.WrapVar

wrapWithID(Term) - Method in class jTrolog.engine.BindingsTable

wrapWithID(Term, int) - Static method in class jTrolog.engine.BindingsTable

write_1(BindingsTable, Term) - Method in class jTrolog.lib.IOLibrary

X

XF - Static variable in class jTrolog.engine.Prolog

XFX - Static variable in class jTrolog.engine.Prolog

XFY - Static variable in class jTrolog.engine.Prolog

Y

YF - Static variable in class jTrolog.engine.Prolog

YFX - Static variable in class jTrolog.engine.Prolog

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