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 Z
All Classes All Packages

A

Abs - Class in org.projog.core.math.builtin

abs - returns the absolute value of a numeric argument.

Abs() - Constructor for class org.projog.core.math.builtin.Abs

absolute() - Static method in class org.projog.core.predicate.builtin.clp.CommonExpression

AbstractArithmeticOperator - Class in org.projog.core.math

AbstractArithmeticOperator() - Constructor for class org.projog.core.math.AbstractArithmeticOperator

AbstractArithmeticOperator.PreprocessedBinaryOperator - Class in org.projog.core.math

AbstractArithmeticOperator.PreprocessedUnaryOperator - Class in org.projog.core.math

AbstractBinaryArithmeticOperator - Class in org.projog.core.math

A template for ArithmeticOperators that accept two arguments.

AbstractBinaryArithmeticOperator() - Constructor for class org.projog.core.math.AbstractBinaryArithmeticOperator

AbstractBinaryIntegerArithmeticOperator - Class in org.projog.core.math

A template for ArithmeticOperators that accept two arguments of type TermType.INTEGER.

AbstractBinaryIntegerArithmeticOperator() - Constructor for class org.projog.core.math.AbstractBinaryIntegerArithmeticOperator

AbstractCollectionOf - Class in org.projog.core.predicate.builtin.compound

AbstractCollectionOf(PredicateFactory, Term, Term, Term) - Constructor for class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

AbstractCollectionOf.Key - Class in org.projog.core.predicate.builtin.compound

Represents a combination of possible values for the variables contained in the goal.

AbstractNumericComparisonPredicate - Class in org.projog.core.predicate.builtin.compare

AbstractNumericComparisonPredicate() - Constructor for class org.projog.core.predicate.builtin.compare.AbstractNumericComparisonPredicate

AbstractPredicateFactory - Class in org.projog.core.predicate

AbstractPredicateFactory() - Constructor for class org.projog.core.predicate.AbstractPredicateFactory

AbstractSingleResultPredicate - Class in org.projog.core.predicate

Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.

AbstractSingleResultPredicate() - Constructor for class org.projog.core.predicate.AbstractSingleResultPredicate

AbstractUnaryArithmeticOperator - Class in org.projog.core.math

A template for ArithmeticOperators that accept exactly one argument.

AbstractUnaryArithmeticOperator() - Constructor for class org.projog.core.math.AbstractUnaryArithmeticOperator

accumulators - Variable in class org.projog.core.predicate.builtin.list.Fold.Retryable

action - Variable in class org.projog.core.predicate.builtin.compound.IfThen.OptimisedIfThen

action - Variable in class org.projog.core.predicate.builtin.list.Fold.OptimisedFold

action - Variable in class org.projog.core.predicate.builtin.list.Fold.Retryable

action - Variable in class org.projog.core.predicate.builtin.list.MapList.Retryable

ActionIterator(ClauseAction[]) - Constructor for class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.ActionIterator

actions - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory

actions - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory

actualPredicateFactory - Variable in class org.projog.core.predicate.UnknownPredicate

add() - Static method in class org.projog.core.predicate.builtin.clp.CommonExpression

add(List<Term>, Term) - Method in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

add(List<Term>, Term) - Method in class org.projog.core.predicate.builtin.compound.BagOf.BagOfPredicate

"bagof" returns all elements (including duplicates) in the order they were found.

add(List<Term>, Term) - Method in class org.projog.core.predicate.builtin.compound.SetOf.SetOfPredicate

"setof" excludes duplicates and orders elements using TermComparator.

add(PredicateKey, Term, boolean) - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase

Associates a value with a key.

add(UserDefinedPredicateFactory, ClauseModel) - Method in class org.projog.core.predicate.builtin.kb.Assert

Add - Class in org.projog.core.math.builtin

+ - performs addition.

Add() - Constructor for class org.projog.core.math.builtin.Add

ADD_PREDICATE_KEY - Static variable in class org.projog.core.kb.KnowledgeBase

Represents the pj_add_predicate/2 predicate hard-coded in every KnowledgeBase.

addArithmeticOperator(PredicateKey, String) - Method in class org.projog.core.math.ArithmeticOperators

Associates a ArithmeticOperator with this KnowledgeBase.

addArithmeticOperator(PredicateKey, ArithmeticOperator) - Method in class org.projog.api.Projog

Associates a ArithmeticOperator with this KnowledgeBase of this Projog.

addArithmeticOperator(PredicateKey, ArithmeticOperator) - Method in class org.projog.core.math.ArithmeticOperators

Associates a ArithmeticOperator with this KnowledgeBase.

AddArithmeticOperator - Class in org.projog.core.predicate.builtin.kb

pj_add_arithmetic_operator(X,Y) - defines a Java class as an arithmetic operator.

AddArithmeticOperator() - Constructor for class org.projog.core.predicate.builtin.kb.AddArithmeticOperator

addClause(ClauseModel) - Method in exception org.projog.core.ProjogException

addConstraint(Constraint) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

addConstraints(ClpVariable) - Method in class org.projog.core.predicate.builtin.clp.CoreConstraintStore

addExpressionFactory(PredicateKey, String) - Method in class org.projog.core.predicate.builtin.clp.ExpressionFactories

Associates a ExpressionFactory with this KnowledgeBase.

AddExpressionFactory - Class in org.projog.core.predicate.builtin.clp

pj_add_clp_expression(X,Y) - defines a Java class as an CLP expression.

AddExpressionFactory() - Constructor for class org.projog.core.predicate.builtin.clp.AddExpressionFactory

addFirst(ClauseModel) - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

addFirst(ClauseModel) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

Not supported.

addFirst(ClauseModel) - Method in interface org.projog.core.predicate.udp.UserDefinedPredicateFactory

Adds a clause to the beginning of the predicate's list of clauses.

addInstance(Class<?>, Object) - Method in class org.projog.core.kb.KnowledgeBaseServiceLocator

Adds the specified instance with the specified referenceType as its key.

addLast - Variable in class org.projog.core.predicate.builtin.kb.Assert

addLast(ClauseModel) - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

addLast(ClauseModel) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

Adds new clause to list of clauses for this predicate.

addLast(ClauseModel) - Method in interface org.projog.core.predicate.udp.UserDefinedPredicateFactory

Adds a clause to the end of the predicate's list of clauses.

addListener(ProjogListener) - Method in class org.projog.api.Projog

Registers an ProjogListener to receive notifications of events generated during the evaluation of Prolog goals.

addListener(ProjogListener) - Method in class org.projog.core.event.ProjogListeners

Adds a listener to the set of listeners.

addNewLine - Variable in class org.projog.core.predicate.builtin.io.Write

addOperand(String, String, int) - Method in class org.projog.core.parser.Operands

Adds a new operator.

addPredicateFactory(PredicateKey, String) - Method in class org.projog.core.predicate.Predicates

Associates a PredicateFactory with this KnowledgeBase.

addPredicateFactory(PredicateKey, PredicateFactory) - Method in class org.projog.api.Projog

Associates a PredicateFactory with the KnowledgeBase of this Projog.

addPredicateFactory(PredicateKey, PredicateFactory) - Method in class org.projog.core.predicate.Predicates

Associates a PredicateFactory with this KnowledgeBase.

AddPredicateFactory - Class in org.projog.core.predicate.builtin.kb

pj_add_predicate(X,Y) - defines a Java class as a built-in predicate.

AddPredicateFactory(KnowledgeBase) - Constructor for class org.projog.core.predicate.builtin.kb.AddPredicateFactory

addReference(IntegerNumber, RecordedDatabase.Link, boolean) - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase

addToIndex(ClauseModel, DynamicUserDefinedPredicateFactory.ClauseActionMetaData) - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

addType(String, Set<String>) - Static method in class org.projog.core.predicate.builtin.classify.CharType

addType(String, Set<String>...) - Static method in class org.projog.core.predicate.builtin.classify.CharType

AddUserDefinedArithmeticOperator - Class in org.projog.core.predicate.builtin.kb

arithmetic_function(X) - defines a predicate as an arithmetic function.

AddUserDefinedArithmeticOperator() - Constructor for class org.projog.core.predicate.builtin.kb.AddUserDefinedArithmeticOperator

AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator - Class in org.projog.core.predicate.builtin.kb

addUserDefinedPredicate(UserDefinedPredicateFactory) - Method in class org.projog.core.predicate.Predicates

Adds a user defined predicate to this object.

addUserDefinedPredicatesToKnowledgeBase() - Method in class org.projog.core.parser.ProjogSourceReader

align(Writef.Formatter, Term) - Method in class org.projog.core.predicate.builtin.io.Writef

ALL_CHARACTERS - Static variable in class org.projog.core.predicate.builtin.classify.CharType

AlterSpyPoint - Class in org.projog.core.predicate.builtin.debug

spy(X) / nospy(X) - add or remove a spy point for a predicate.

AlterSpyPoint(boolean) - Constructor for class org.projog.core.predicate.builtin.debug.AlterSpyPoint

The valueToSetSpyPointTo parameter specifies whether spy points matched by the AlterSpyPoint.evaluate(Term) method should be enabled or disabled.

AlwaysMatchedFact(ClauseModel) - Constructor for class org.projog.core.predicate.udp.ClauseActionFactory.AlwaysMatchedFact

and() - Static method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

ANONYMOUS_VARIABLE_ID - Static variable in class org.projog.core.term.Variable

antecedent - Variable in class org.projog.core.predicate.udp.ClauseModel

Append - Class in org.projog.core.predicate.builtin.list

append(X,Y,Z) - concatenates two lists.

Append() - Constructor for class org.projog.core.predicate.builtin.list.Append

Append.AppendPredicate - Class in org.projog.core.predicate.builtin.list

appendAttribute(Variable, Term) - Static method in class org.projog.core.predicate.builtin.reif.Dif

appendListElementsToString(StringBuffer, Term) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

AppendListOfLists - Class in org.projog.core.predicate.builtin.list

append(ListOfLists, List) - concatenates a list of lists.

AppendListOfLists() - Constructor for class org.projog.core.predicate.builtin.list.AppendListOfLists

AppendPredicate(Term, Term, Term) - Constructor for class org.projog.core.predicate.builtin.list.Append.AppendPredicate

appendToEndOfList(Term, Term) - Static method in class org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor

apply(PredicateFactory, Term[]) - Static method in class org.projog.core.predicate.builtin.list.PartialApplicationUtils

arg - Variable in class org.projog.core.predicate.builtin.kb.CurrentPredicate.Retryable

Arg - Class in org.projog.core.predicate.builtin.construct

arg(N,T,A) - allows access to an argument of a structure.

Arg() - Constructor for class org.projog.core.predicate.builtin.construct.Arg

arg1 - Variable in class org.projog.core.predicate.builtin.construct.AtomConcat.Retryable

arg1 - Variable in class org.projog.core.predicate.builtin.list.Reverse.ReversePredicate

arg2 - Variable in class org.projog.core.predicate.builtin.construct.AtomConcat.Retryable

arg2 - Variable in class org.projog.core.predicate.builtin.list.Reverse.ReversePredicate

arg3 - Variable in class org.projog.core.predicate.builtin.list.Reverse.ReversePredicate

arg4 - Variable in class org.projog.core.predicate.builtin.list.Reverse.ReversePredicate

argIdx - Variable in class org.projog.core.predicate.builtin.io.Writef.Formatter

argIdx - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory

argIdx - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory

args - Variable in class org.projog.core.event.SpyPoints.SpyPointEvent

args - Variable in class org.projog.core.parser.Token

args - Variable in class org.projog.core.predicate.builtin.io.Writef.Formatter

args - Variable in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory.RetryableRulePredicate

args - Variable in class org.projog.core.term.Structure

ARGUMENT_SEPARATOR - Static variable in class org.projog.core.parser.Delimiters

argumentIdx - Variable in class org.projog.core.predicate.builtin.list.PairsElements

ArithmeticOperator - Interface in org.projog.core.math

Represents a function that returns a single numerical value.

arithmeticOperators - Variable in class org.projog.core.kb.KnowledgeBase

ArithmeticOperators - Class in org.projog.core.math

Maintains a collection of ArithmeticOperator instances.

ArithmeticOperators(KnowledgeBase) - Constructor for class org.projog.core.math.ArithmeticOperators

Assert - Class in org.projog.core.predicate.builtin.kb

asserta(X) / assertz(X) - adds a clause to the knowledge base.

Assert(boolean) - Constructor for class org.projog.core.predicate.builtin.kb.Assert

assertA() - Static method in class org.projog.core.predicate.builtin.kb.Assert

assertAssignableFrom(Class<?>, Class<?>) - Method in class org.projog.core.kb.KnowledgeBaseServiceLocator

assertAtomOrVariable(Term) - Method in class org.projog.core.predicate.builtin.construct.AtomConcat

assertInstanceOf(Class<?>, Object) - Method in class org.projog.core.kb.KnowledgeBaseServiceLocator

assertKeyValuePairs(List<Term>) - Method in class org.projog.core.predicate.builtin.list.KeySort

assertRange(Term) - Method in class org.projog.core.predicate.builtin.clp.In

assertType(Term, TermType) - Static method in class org.projog.core.term.TermUtils

assertZ() - Static method in class org.projog.core.predicate.builtin.kb.Assert

associativity - Variable in class org.projog.core.parser.Operands.Operand

Associativity(Operands.Location) - Constructor for enum org.projog.core.parser.Operands.Associativity

Atom - Class in org.projog.core.term

Represents a specific object or relationship.

Atom(String) - Constructor for class org.projog.core.term.Atom

ATOM - org.projog.core.parser.TokenType

ATOM - org.projog.core.term.TermType

atomChars() - Static method in class org.projog.core.predicate.builtin.construct.TermSplit

atomCodes() - Static method in class org.projog.core.predicate.builtin.construct.TermSplit

AtomConcat - Class in org.projog.core.predicate.builtin.construct

atom_concat(X, Y, Z) - concatenates atom names.

AtomConcat() - Constructor for class org.projog.core.predicate.builtin.construct.AtomConcat

AtomConcat.Retryable - Class in org.projog.core.predicate.builtin.construct

AtomicListConcat - Class in org.projog.core.predicate.builtin.list

atomic_list_concat(List,Separator,Atom) / atomic_list_concat(List,Atom)

AtomicListConcat() - Constructor for class org.projog.core.predicate.builtin.list.AtomicListConcat

ATTRIBUTE_KEY - Static variable in class org.projog.core.predicate.builtin.reif.Dif

attributes - Variable in class org.projog.core.term.Variable

A collection of attributes associated with the variable.

B

backtrack - Variable in class org.projog.core.predicate.builtin.list.MapList.Retryable

backtrack() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

backtrack() - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

backtrack() - Method in class org.projog.core.predicate.udp.TailRecursivePredicate

Backtracks the arguments to before the last attempt to match the first rule.

backtrack() - Method in class org.projog.core.term.Atom

backtrack() - Method in class org.projog.core.term.DecimalFraction

backtrack() - Method in class org.projog.core.term.EmptyList

backtrack() - Method in class org.projog.core.term.IntegerNumber

backtrack() - Method in class org.projog.core.term.List

backtrack() - Method in class org.projog.core.term.Structure

backtrack() - Method in interface org.projog.core.term.Term

Reverts this term back to its original state prior to any unifications.

backtrack() - Method in class org.projog.core.term.Variable

Reverts this variable to an uninstantiated state.

backtrack(Term[]) - Static method in class org.projog.core.term.TermUtils

Backtracks all Terms in the specified array.

backtrack(Term, Term) - Method in class org.projog.core.predicate.builtin.kb.Inspect.InspectPredicate

backtrack(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.list.Nth.Retryable

backtrack1 - Variable in class org.projog.core.predicate.builtin.list.Fold.Retryable

backtrack2 - Variable in class org.projog.core.predicate.builtin.list.Fold.Retryable

bag - Variable in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

BagOf - Class in org.projog.core.predicate.builtin.compound

bagof(X,P,L) - find all solutions that satisfy the goal.

BagOf() - Constructor for class org.projog.core.predicate.builtin.compound.BagOf

BagOf.BagOfPredicate - Class in org.projog.core.predicate.builtin.compound

BagOf.PreprocessedBagOf - Class in org.projog.core.predicate.builtin.compound

BagOfPredicate(PredicateFactory, Term, Term, Term) - Constructor for class org.projog.core.predicate.builtin.compound.BagOf.BagOfPredicate

Between - Class in org.projog.core.predicate.builtin.compare

between(X,Y,Z) - checks if a number is within a specified range.

Between() - Constructor for class org.projog.core.predicate.builtin.compare.Between

Between.Retryable - Class in org.projog.core.predicate.builtin.compare

BitwiseAnd - Class in org.projog.core.math.builtin

/\ - performs bitwise addition.

BitwiseAnd() - Constructor for class org.projog.core.math.builtin.BitwiseAnd

BitwiseOr - Class in org.projog.core.math.builtin

\/ - bitwise 'or'.

BitwiseOr() - Constructor for class org.projog.core.math.builtin.BitwiseOr

BitwiseXor - Class in org.projog.core.math.builtin

xor - bitwise 'exclusive or'.

BitwiseXor() - Constructor for class org.projog.core.math.builtin.BitwiseXor

BooleanConstraintPredicate - Class in org.projog.core.predicate.builtin.clp

CLP predicates for comparing boolean values.

BooleanConstraintPredicate(Function<Constraint[], Constraint>) - Constructor for class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

bootstrap(KnowledgeBase) - Static method in class org.projog.core.kb.KnowledgeBaseUtils

Consults the ProjogProperties.getBootstrapScript() for the KnowledgeBase.

br - Variable in class org.projog.core.parser.CharacterParser

bruteForceSearch - Variable in class org.projog.core.predicate.builtin.clp.Resolve.ClpResolvePredicate

C

CACHE - Static variable in class org.projog.core.kb.KnowledgeBaseServiceLocator

CACHE - Static variable in class org.projog.core.term.IntegerNumberCache

calculate(Numeric) - Method in class org.projog.core.math.AbstractArithmeticOperator

calculate(Numeric) - Method in class org.projog.core.math.AbstractUnaryArithmeticOperator

calculate(Numeric) - Method in class org.projog.core.math.builtin.Random

calculate(Numeric) - Method in class org.projog.core.math.builtin.Round

calculate(Numeric, Numeric) - Method in class org.projog.core.math.AbstractArithmeticOperator

calculate(Numeric, Numeric) - Method in class org.projog.core.math.AbstractBinaryArithmeticOperator

calculate(Numeric, Numeric) - Method in class org.projog.core.math.AbstractBinaryIntegerArithmeticOperator

calculate(Numeric, Numeric) - Method in class org.projog.core.math.builtin.Divide

calculate(Numeric, Numeric) - Method in class org.projog.core.math.builtin.Max

calculate(Numeric, Numeric) - Method in class org.projog.core.math.builtin.Min

calculate(Term[]) - Method in class org.projog.core.math.AbstractArithmeticOperator

calculate(Term[]) - Method in class org.projog.core.math.AbstractArithmeticOperator.PreprocessedBinaryOperator

calculate(Term[]) - Method in class org.projog.core.math.AbstractArithmeticOperator.PreprocessedUnaryOperator

calculate(Term[]) - Method in interface org.projog.core.math.ArithmeticOperator

Returns the result of the calculation using the specified arguments.

calculate(Term[]) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

calculate(Term[]) - Method in class org.projog.core.predicate.builtin.kb.AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator

calculate(Term[]) - Method in class org.projog.core.term.DecimalFraction

calculate(Term[]) - Method in class org.projog.core.term.IntegerNumber

calculate(Term, Term[]) - Method in class org.projog.core.math.ArithmeticOperators

calculateDouble(double) - Method in class org.projog.core.math.AbstractUnaryArithmeticOperator

Returns the result of evaluating an arithmetic expression using the specified argument

calculateDouble(double) - Method in class org.projog.core.math.builtin.Abs

calculateDouble(double) - Method in class org.projog.core.math.builtin.Minus

calculateDouble(double, double) - Method in class org.projog.core.math.AbstractBinaryArithmeticOperator

Returns the result of evaluating an arithmetic expression using the two arguments

calculateDouble(double, double) - Method in class org.projog.core.math.builtin.Add

Returns the sum of the two arguments

calculateDouble(double, double) - Method in class org.projog.core.math.builtin.Multiply

Returns the product of the two arguments

calculateDouble(double, double) - Method in class org.projog.core.math.builtin.Power

calculateDouble(double, double) - Method in class org.projog.core.math.builtin.Subtract

Returns the difference of the two arguments

calculateLong(long) - Method in class org.projog.core.math.AbstractUnaryArithmeticOperator

Returns the result of evaluating an arithmetic expression using the specified argument

calculateLong(long) - Method in class org.projog.core.math.builtin.Abs

calculateLong(long) - Method in class org.projog.core.math.builtin.Minus

calculateLong(long, long) - Method in class org.projog.core.math.AbstractBinaryArithmeticOperator

Returns the result of evaluating an arithmetic expression using the two arguments

calculateLong(long, long) - Method in class org.projog.core.math.AbstractBinaryIntegerArithmeticOperator

Returns the result of evaluating an arithmetic expression using the two arguments

calculateLong(long, long) - Method in class org.projog.core.math.builtin.Add

Returns the sum of the two arguments

calculateLong(long, long) - Method in class org.projog.core.math.builtin.BitwiseAnd

calculateLong(long, long) - Method in class org.projog.core.math.builtin.BitwiseOr

calculateLong(long, long) - Method in class org.projog.core.math.builtin.BitwiseXor

calculateLong(long, long) - Method in class org.projog.core.math.builtin.IntegerDivide

calculateLong(long, long) - Method in class org.projog.core.math.builtin.Modulo

calculateLong(long, long) - Method in class org.projog.core.math.builtin.Multiply

Returns the product of the two arguments

calculateLong(long, long) - Method in class org.projog.core.math.builtin.Power

calculateLong(long, long) - Method in class org.projog.core.math.builtin.Remainder

calculateLong(long, long) - Method in class org.projog.core.math.builtin.ShiftLeft

calculateLong(long, long) - Method in class org.projog.core.math.builtin.ShiftRight

calculateLong(long, long) - Method in class org.projog.core.math.builtin.Subtract

Returns the difference of the two arguments

Call - Class in org.projog.core.predicate.builtin.compound

call(X) - calls the goal represented by a term.

Call() - Constructor for class org.projog.core.predicate.builtin.compound.Call

canBePreceededByEqualPriority(Term) - Method in class org.projog.core.term.TermFormatter

castToNumeric(Term) - Static method in class org.projog.core.term.TermUtils

Return the Numeric represented by the specified Term.

chain - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.Link

Chain(PredicateKey) - Constructor for class org.projog.core.predicate.builtin.db.RecordedDatabase.Chain

chainIterator - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.DatabaseIterator

ChainIterator(RecordedDatabase.Chain) - Constructor for class org.projog.core.predicate.builtin.db.RecordedDatabase.ChainIterator

chains - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase

character - Variable in class org.projog.core.predicate.builtin.classify.CharType.CharTypePredicate

CHARACTER_TYPES_ARRAY - Static variable in class org.projog.core.predicate.builtin.classify.CharType

CHARACTER_TYPES_MAP - Static variable in class org.projog.core.predicate.builtin.classify.CharType

characterCtr - Variable in class org.projog.core.predicate.builtin.classify.CharType.State

CharacterParser - Class in org.projog.core.parser

Reads characters from a BufferedReader.

CharacterParser(BufferedReader) - Constructor for class org.projog.core.parser.CharacterParser

characters - Variable in class org.projog.core.predicate.builtin.classify.CharType.State

characters - Variable in class org.projog.core.predicate.builtin.classify.CharType.Type

characterTypeCtr - Variable in class org.projog.core.predicate.builtin.classify.CharType.State

characterTypes - Variable in class org.projog.core.predicate.builtin.classify.CharType.State

charIdx - Variable in class org.projog.core.predicate.builtin.io.Writef.Formatter

chars - Variable in class org.projog.core.predicate.builtin.io.Writef.Formatter

charToString(int) - Static method in class org.projog.core.predicate.builtin.classify.CharType

charToTerm(char) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

CharType - Class in org.projog.core.predicate.builtin.classify

char_type(X,Y) - classifies characters.

CharType() - Constructor for class org.projog.core.predicate.builtin.classify.CharType

CharType.CharTypePredicate - Class in org.projog.core.predicate.builtin.classify

CharType.State - Class in org.projog.core.predicate.builtin.classify

CharType.Type - Class in org.projog.core.predicate.builtin.classify

CharTypePredicate(Term, Term, CharType.State) - Constructor for class org.projog.core.predicate.builtin.classify.CharType.CharTypePredicate

child - Variable in class org.projog.core.predicate.builtin.clp.ClpVariable

clause - Variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ClauseActionMetaData

clause - Variable in class org.projog.core.predicate.udp.SingleNonRetryableRulePredicateFactory

clause - Variable in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory

clause - Variable in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory.RetryableRulePredicate

ClauseAction - Interface in org.projog.core.predicate.udp

ClauseActionFactory - Class in org.projog.core.predicate.udp

Constructs new ClauseAction instances.

ClauseActionFactory() - Constructor for class org.projog.core.predicate.udp.ClauseActionFactory

ClauseActionFactory.AlwaysMatchedFact - Class in org.projog.core.predicate.udp

Clause where all consequent args are distinctly different variables and antecedent is true.

ClauseActionFactory.ImmutableConsequentRule - Class in org.projog.core.predicate.udp

Clause where the consequent args are all immutable and the antecedent is not true.

ClauseActionFactory.ImmutableFact - Class in org.projog.core.predicate.udp

Clause where the consequent args are all immutable and the antecedent is true.

ClauseActionFactory.MutableFact - Class in org.projog.core.predicate.udp

Clause where at least one consequent arg is mutable and the antecedent is true.

ClauseActionFactory.MutableRule - Class in org.projog.core.predicate.udp

Clause where at least one consequent arg is mutable and the antecedent is not true.

ClauseActionFactory.VariableAntecedantClauseAction - Class in org.projog.core.predicate.udp

Clause where the antecedent is a variable.

ClauseActionFactory.ZeroArgConsequentRule - Class in org.projog.core.predicate.udp

Clause where the consequent has no args.

ClauseActionIterator(DynamicUserDefinedPredicateFactory.ClauseActionMetaData) - Constructor for class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ClauseActionIterator

ClauseActionMetaData(KnowledgeBase, ClauseModel) - Constructor for class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ClauseActionMetaData

clauseActions - Variable in class org.projog.core.predicate.udp.InterpretedUserDefinedPredicate

clauseBody - Variable in class org.projog.core.predicate.builtin.kb.Inspect.InspectPredicate

clauseHead - Variable in class org.projog.core.predicate.builtin.kb.Inspect.InspectPredicate

clauseModel - Variable in class org.projog.core.event.SpyPoints.SpyPointExitEvent

ClauseModel - Class in org.projog.core.predicate.udp

Represents a clause.

ClauseModel(Term, Term, Term) - Constructor for class org.projog.core.predicate.udp.ClauseModel

clauses - Variable in class org.projog.core.predicate.udp.Clauses

clauses - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.ActionIterator

Clauses - Class in org.projog.core.predicate.udp

Clauses(List<ClauseAction>, int[]) - Constructor for class org.projog.core.predicate.udp.Clauses

clear() - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

close(FileHandles, Term) - Method in class org.projog.core.predicate.builtin.io.Seen

close(FileHandles, Term) - Method in class org.projog.core.predicate.builtin.io.Told

close(Term) - Method in class org.projog.core.io.FileHandles

Closes the stream represented by the specified Term.

Close - Class in org.projog.core.predicate.builtin.io

close(X) - closes a stream.

Close() - Constructor for class org.projog.core.predicate.builtin.io.Close

CLP_VARIABLE - org.projog.core.term.TermType

Constraint Logic Programming variable

ClpResolvePredicate(BruteForceSearch, Map<ClpVariable, Variable>) - Constructor for class org.projog.core.predicate.builtin.clp.Resolve.ClpResolvePredicate

ClpVariable - Class in org.projog.core.predicate.builtin.clp

A Term that could represent a number of possible numeric values.

ClpVariable() - Constructor for class org.projog.core.predicate.builtin.clp.ClpVariable

ClpVariable(VariableState, Collection<Constraint>) - Constructor for class org.projog.core.predicate.builtin.clp.ClpVariable

ClpVariable(ClpVariable) - Constructor for class org.projog.core.predicate.builtin.clp.ClpVariable

columnNumber - Variable in class org.projog.core.parser.CharacterParser

The position, within the current line, of the character being parsed.

columnNumber - Variable in exception org.projog.core.parser.ParserException

combined - Variable in class org.projog.core.predicate.builtin.construct.AtomConcat.Retryable

COMMA_PRIORITY - Static variable in class org.projog.core.parser.SentenceParser

CommonExpression - Class in org.projog.core.predicate.builtin.clp

CommonExpression(Function<Expression[], Expression>) - Constructor for class org.projog.core.predicate.builtin.clp.CommonExpression

compare(Numeric, Numeric) - Method in class org.projog.core.math.NumericTermComparator

Compares two arguments, representing Numeric terms, for order.

compare(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.AbstractNumericComparisonPredicate

compare(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.PredSort.PredSortComparator

compare(Term, Term) - Method in class org.projog.core.term.TermComparator

Compares the two arguments for order.

compare(Term, Term, ArithmeticOperators) - Method in class org.projog.core.math.NumericTermComparator

Compares the two arguments, representing arithmetic expressions, for order.

Compare - Class in org.projog.core.predicate.builtin.compare

compare(X,Y,Z) - compares arguments.

Compare() - Constructor for class org.projog.core.predicate.builtin.compare.Compare

compareStructures(Term, Term) - Method in class org.projog.core.term.TermComparator

compareTo(PredicateKey) - Method in class org.projog.core.predicate.PredicateKey

Ordered on name or, if names identical, number of arguments.

compile() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

compiledPredicateFactory - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

concat(Writef.Formatter, Term) - Method in class org.projog.core.predicate.builtin.io.Writef

concat(Term, String) - Method in class org.projog.core.predicate.builtin.list.AtomicListConcat

concatenated - Variable in class org.projog.core.predicate.builtin.list.Append.AppendPredicate

condition - Variable in class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedIfThenElse

condition - Variable in class org.projog.core.predicate.builtin.compound.IfThen.OptimisedIfThen

Conjunction - Class in org.projog.core.predicate.builtin.compound

X,Y - conjunction.

Conjunction() - Constructor for class org.projog.core.predicate.builtin.compound.Conjunction

CONJUNCTION_PREDICATE_NAME - Static variable in class org.projog.core.kb.KnowledgeBaseUtils

The functor of structures representing conjunctions (,).

Conjunction.ConjunctionPredicate - Class in org.projog.core.predicate.builtin.compound

Conjunction.OptimisedRetryableConjuction - Class in org.projog.core.predicate.builtin.compound

Conjunction.OptimisedSingletonConjuction - Class in org.projog.core.predicate.builtin.compound

ConjunctionPredicate(Predicate, PredicateFactory, Term) - Constructor for class org.projog.core.predicate.builtin.compound.Conjunction.ConjunctionPredicate

consequent - Variable in class org.projog.core.predicate.udp.ClauseModel

ConstraintFactory - Interface in org.projog.core.predicate.builtin.clp

constraintGenerator - Variable in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

constraintGenerator - Variable in class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

consult(Term) - Method in class org.projog.core.predicate.builtin.kb.ConsultList

Consult - Class in org.projog.core.predicate.builtin.kb

consult(X) - reads clauses and goals from a file.

Consult() - Constructor for class org.projog.core.predicate.builtin.kb.Consult

consultFile(File) - Method in class org.projog.api.Projog

Populates this objects KnowledgeBase with clauses read from the specified file.

ConsultList - Class in org.projog.core.predicate.builtin.kb

Read clauses and goals from a list of files.

ConsultList() - Constructor for class org.projog.core.predicate.builtin.kb.ConsultList

consultReader(Reader) - Method in class org.projog.api.Projog

Populates this objects KnowledgeBase with clauses read from the specified Reader.

consultResource(String) - Method in class org.projog.api.Projog

Populates this objects KnowledgeBase with clauses read from the specified resource.

consultScript(String) - Method in class org.projog.tools.ProjogConsole

consultScripts(List<String>) - Method in class org.projog.tools.ProjogConsole

containsFraction(Numeric, Numeric) - Static method in class org.projog.core.math.AbstractBinaryArithmeticOperator

containsFraction(Numeric, Numeric) - Static method in class org.projog.core.math.builtin.Divide

containsKey(Object) - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

containsValue(Object) - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

CONTINUE_EVALUATING - Static variable in class org.projog.tools.ProjogConsole

convert(Term) - Static method in class org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor

convertConjunctionOfAtomsAntecedent(Term, Term[]) - Static method in class org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor

convertListsToArrays(Map<Object, List<ClauseAction>>) - Method in class org.projog.core.predicate.udp.Indexes

convertSingleListTermAntecedent(Term, Term) - Static method in class org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor

ConvertTime - Class in org.projog.core.predicate.builtin.time

convert_time(X,Y) - converts a timestamp to a textual representation.

ConvertTime() - Constructor for class org.projog.core.predicate.builtin.time.ConvertTime

convertToCharCodes - Variable in class org.projog.core.predicate.builtin.construct.TermSplit

copy() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

copy() - Method in class org.projog.core.predicate.udp.ClauseModel

copy(Map<Variable, Variable>) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

copy(Map<Variable, Variable>) - Method in class org.projog.core.term.Atom

copy(Map<Variable, Variable>) - Method in class org.projog.core.term.DecimalFraction

copy(Map<Variable, Variable>) - Method in class org.projog.core.term.EmptyList

copy(Map<Variable, Variable>) - Method in class org.projog.core.term.IntegerNumber

copy(Map<Variable, Variable>) - Method in class org.projog.core.term.List

copy(Map<Variable, Variable>) - Method in class org.projog.core.term.Structure

copy(Map<Variable, Variable>) - Method in interface org.projog.core.term.Term

Returns a copy of this term.

copy(Map<Variable, Variable>) - Method in class org.projog.core.term.Variable

copy(Term...) - Static method in class org.projog.core.term.TermUtils

Returns copies of the specified {link Term}s

copySecondArgument - Variable in class org.projog.core.predicate.builtin.compound.Conjunction.ConjunctionPredicate

CopyTerm - Class in org.projog.core.predicate.builtin.construct

copy_term(X,Y) - makes a copy of a term.

CopyTerm() - Constructor for class org.projog.core.predicate.builtin.construct.CopyTerm

CoreConstraintStore - Class in org.projog.core.predicate.builtin.clp

An implementation of ConstraintStore for use in Projog.

CoreConstraintStore() - Constructor for class org.projog.core.predicate.builtin.clp.CoreConstraintStore

CoreConstraintStore(List<Constraint>) - Constructor for class org.projog.core.predicate.builtin.clp.CoreConstraintStore

CoreConstraintStore(Constraint) - Constructor for class org.projog.core.predicate.builtin.clp.CoreConstraintStore

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.classify.CharType.CharTypePredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.clp.Resolve.ClpResolvePredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.compare.Between.Retryable

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.compound.Conjunction.ConjunctionPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.compound.Disjunction.DisjunctionPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.compound.Limit.LimitPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.construct.AtomConcat.Retryable

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.db.Recorded.RecordedPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.flow.Cut.CutPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.flow.RepeatInfinitely.RepeatInfinitelyPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.flow.RepeatSetAmount.RepeatSetAmountPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.kb.CurrentPredicate.Retryable

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.kb.Inspect.InspectPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.list.Append.AppendPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.list.Fold.Retryable

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.list.Last.LastPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.list.Length.Retryable

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.list.MapList.Retryable

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.list.Member.MemberPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.list.Nth.Retryable

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.list.Reverse.ReversePredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.builtin.list.Select.SelectPredicate

couldReevaluationSucceed() - Method in interface org.projog.core.predicate.Predicate

Could the next re-evaluation of this instance succeed?

couldReevaluationSucceed() - Method in class org.projog.core.predicate.SucceedsNeverPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.SucceedsOncePredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.udp.InterpretedUserDefinedPredicate

couldReevaluationSucceed() - Method in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory.RetryableRulePredicate

count(boolean[]) - Static method in class org.projog.core.predicate.udp.Clauses

countClearedReferences() - Method in class org.projog.core.predicate.udp.Indexes

countReferences() - Method in class org.projog.core.predicate.udp.Indexes

create(KnowledgeBase, List<ClauseModel>) - Static method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

Returns a new TailRecursivePredicateMetaData representing the user defined predicate defined by the specified clauses or null if the predicate is not tail recursive.

createArguments(Term, Term...) - Static method in class org.projog.core.predicate.builtin.list.PartialApplicationUtils

createArgumentsIncludingResult(Term[], Variable) - Method in class org.projog.core.predicate.builtin.kb.AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator

createArray(int, Term) - Static method in class org.projog.core.predicate.udp.Clauses

createAtom(Date) - Method in class org.projog.core.predicate.builtin.time.ConvertTime

createBitmask(Term[]) - Method in class org.projog.core.predicate.udp.Indexes

createBruteForceSearch(ClpConstraintStore.Builder, Map<ClpVariable, Variable>) - Method in class org.projog.core.predicate.builtin.clp.Resolve

createChain(PredicateKey) - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase

createClauseAction(KnowledgeBase, ClauseModel) - Static method in class org.projog.core.predicate.udp.ClauseActionFactory

Returns a new ClauseAction based on the specified ClauseModel.

createClauseActionMetaData(ClauseModel) - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

createClauseModel(Term) - Static method in class org.projog.core.predicate.udp.ClauseModel

createConstraint(Term[], Set<ClpVariable>) - Method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

createConstraint(Term[], Set<ClpVariable>) - Method in interface org.projog.core.predicate.builtin.clp.ConstraintFactory

createConstraint(Term[], Set<ClpVariable>) - Method in class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

createConstraints(List<Expression>) - Method in class org.projog.core.predicate.builtin.clp.Distinct

createDate(Term) - Method in class org.projog.core.predicate.builtin.time.ConvertTime

createDisjunction(Term, Term) - Method in class org.projog.core.predicate.builtin.compound.Disjunction

createExpression(Expression[]) - Method in class org.projog.core.predicate.builtin.clp.CommonExpression

createExpression(Expression[]) - Method in interface org.projog.core.predicate.builtin.clp.ExpressionFactory

createFailurePredicate(SpyPoints.SpyPoint, Term[]) - Static method in class org.projog.core.predicate.udp.PredicateUtils

createForTerm(Term) - Static method in class org.projog.core.predicate.PredicateKey

Returns a PredicateKey for the specified term.

createFromActions(KnowledgeBase, List<ClauseAction>, Term) - Static method in class org.projog.core.predicate.udp.Clauses

createFromModels(KnowledgeBase, List<ClauseModel>) - Static method in class org.projog.core.predicate.udp.Clauses

createFromNameAndArity(Term) - Static method in class org.projog.core.predicate.PredicateKey

createIfThenElse(Term, Term) - Method in class org.projog.core.predicate.builtin.compound.Disjunction

createIndex(int) - Method in class org.projog.core.predicate.udp.Indexes

createInstance(Class<?>, Class<?>) - Method in class org.projog.core.kb.KnowledgeBaseServiceLocator

createInterpretedPredicateFactoryFromClauseActions(Clauses, List<ClauseModel>) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

createInterpretedPredicateFactoryFromClauses(Clauses) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

createKey(int[], Term[]) - Method in interface org.projog.core.predicate.udp.KeyFactories.KeyFactory

createKey(int[], Term[]) - Method in class org.projog.core.predicate.udp.KeyFactories.KeyFactory1

createKey(int[], Term[]) - Method in class org.projog.core.predicate.udp.KeyFactories.KeyFactory2

createKey(int[], Term[]) - Method in class org.projog.core.predicate.udp.KeyFactories.KeyFactory3

createKnowledgeBase() - Static method in class org.projog.core.kb.KnowledgeBaseUtils

Constructs a new KnowledgeBase object using ProjogDefaultProperties

createKnowledgeBase(ProjogProperties) - Static method in class org.projog.core.kb.KnowledgeBaseUtils

Constructs a new KnowledgeBase object using the specified ProjogProperties

createLink(RecordedDatabase.Chain, Term, boolean) - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase

createList(Collection<? extends Term>) - Static method in class org.projog.core.term.ListFactory

Returns a new List with the specified terms and a empty list as the final tail element.

createList(Term[]) - Static method in class org.projog.core.term.ListFactory

Returns a new List with the specified terms and a empty list as the final tail element.

createList(Term[], Term) - Static method in class org.projog.core.term.ListFactory

Returns a new List with the specified terms and the second parameter as the tail element.

createList(Term, Term) - Static method in class org.projog.core.term.ListFactory

Returns a new List with specified head and tail.

createListOfAllSolutions(Term, Predicate) - Static method in class org.projog.core.predicate.builtin.compound.FindAll

createListOfLength(int) - Static method in class org.projog.core.term.ListFactory

Returns a new list of the specified length where is each element is a variable.

createNewPredicate(Term, Term, Term) - Static method in class org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor

createNewSpyPoint(PredicateKey) - Method in class org.projog.core.event.SpyPoints

createOrReturnUserDefinedPredicate(PredicateKey) - Method in class org.projog.core.predicate.Predicates

Returns the UserDefinedPredicateFactory for the specified PredicateKey.

createOrReturnUserDefinedPredicate(Term) - Method in class org.projog.core.parser.ProjogSourceReader

createPlan(String) - Method in class org.projog.api.Projog

Creates a QueryPlan for querying the Projog environment.

createPositionsFromBitmask(int) - Method in class org.projog.core.predicate.udp.Indexes

createPredicate(Term[], ClauseAction[]) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

createRange(int, int) - Static method in class org.projog.core.predicate.builtin.classify.CharType

createRecord(RecordedDatabase.Link) - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase.ChainIterator

createReference() - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase

createServiceLocator(KnowledgeBase) - Static method in class org.projog.core.kb.KnowledgeBaseServiceLocator

createSetFromRange(int, int) - Static method in class org.projog.core.predicate.builtin.classify.CharType

createSingleClausePredicate(ClauseAction, SpyPoints.SpyPoint, Term[]) - Static method in class org.projog.core.predicate.udp.PredicateUtils

createSingleClausePredicateFactory(ClauseAction) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

createStatement() - Method in class org.projog.api.QueryPlan

Return a newly created QueryStatement for the query represented by this plan.

createStatement(String) - Method in class org.projog.api.Projog

Creates a QueryStatement for querying the Projog environment.

createStructure(String, Term[]) - Static method in class org.projog.core.term.Structure

Factory method for creating Structure instances.

createTerm(List<? extends Term>) - Method in class org.projog.core.predicate.builtin.reif.Dif

createTerm(Term, Term) - Method in class org.projog.core.predicate.builtin.construct.Functor

Creates a term using the given functor (name) and arity (number of arguments).

createToken(StringBuilder, TokenType) - Static method in class org.projog.core.parser.TokenParser

createToken(String, TokenType) - Static method in class org.projog.core.parser.TokenParser

createWrongNumberOfArgumentsException(int) - Method in class org.projog.core.math.AbstractArithmeticOperator

createWrongNumberOfArgumentsException(int) - Method in class org.projog.core.predicate.AbstractPredicateFactory

createWrongNumberOfArgumentsException(int) - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

ctr - Variable in class org.projog.core.predicate.builtin.compare.Between.Retryable

ctr - Variable in class org.projog.core.predicate.builtin.compound.Limit.LimitPredicate

ctr - Variable in class org.projog.core.predicate.builtin.construct.AtomConcat.Retryable

ctr - Variable in class org.projog.core.predicate.builtin.flow.RepeatSetAmount.RepeatSetAmountPredicate

ctr - Variable in class org.projog.core.predicate.builtin.list.Nth.Retryable

current - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.ChainIterator

currentClause - Variable in class org.projog.core.predicate.udp.InterpretedUserDefinedPredicate

CurrentInput - Class in org.projog.core.predicate.builtin.io

current_input(X) - match a term to the current input stream.

CurrentInput() - Constructor for class org.projog.core.predicate.builtin.io.CurrentInput

currentInputHandle - Variable in class org.projog.core.io.FileHandles

Current input used by get_char and read

currentLength - Variable in class org.projog.core.predicate.builtin.list.Length.Retryable

currentLine - Variable in class org.projog.core.parser.CharacterParser

currentList - Variable in class org.projog.core.predicate.builtin.list.Member.MemberPredicate

CurrentOutput - Class in org.projog.core.predicate.builtin.io

current_output(X) - match a term to the current output stream.

CurrentOutput() - Constructor for class org.projog.core.predicate.builtin.io.CurrentOutput

currentOutputHandle - Variable in class org.projog.core.io.FileHandles

Current output used by put_char, nl, write and write_canonical

currentPredicate - Variable in class org.projog.core.predicate.udp.InterpretedUserDefinedPredicate

CurrentPredicate - Class in org.projog.core.predicate.builtin.kb

current_predicate(X) - unifies with defined predicates.

CurrentPredicate() - Constructor for class org.projog.core.predicate.builtin.kb.CurrentPredicate

CurrentPredicate.Retryable - Class in org.projog.core.predicate.builtin.kb

currentQueryArgs - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

Cut - Class in org.projog.core.predicate.builtin.flow

! - the "cut".

Cut() - Constructor for class org.projog.core.predicate.builtin.flow.Cut

CUT_EXCEPTION - Static variable in exception org.projog.core.predicate.CutException

Singleton instance.

Cut.CutPredicate - Class in org.projog.core.predicate.builtin.flow

CutException - Exception in org.projog.core.predicate

Exception thrown when the evaluation of a rule backtracks to a cut.

CutException() - Constructor for exception org.projog.core.predicate.CutException

Private constructor to force use of CutException.CUT_EXCEPTION

CutPredicate() - Constructor for class org.projog.core.predicate.builtin.flow.Cut.CutPredicate

D

data - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory

database - Variable in class org.projog.core.predicate.builtin.db.Erase

database - Variable in class org.projog.core.predicate.builtin.db.InsertRecord

DatabaseIterator() - Constructor for class org.projog.core.predicate.builtin.db.RecordedDatabase.DatabaseIterator

debugEnabled - Variable in class org.projog.core.predicate.udp.InterpretedUserDefinedPredicate

Debugging - Class in org.projog.core.predicate.builtin.debug

debugging - lists current spy points.

Debugging() - Constructor for class org.projog.core.predicate.builtin.debug.Debugging

DecimalFraction - Class in org.projog.core.term

Represents a value of the primitive type double as a Term.

DecimalFraction(double) - Constructor for class org.projog.core.term.DecimalFraction

DEFAULT_BOOTSTRAP_SCRIPT - Static variable in interface org.projog.core.kb.ProjogProperties

The file to consult when a new Projog instance is created.

DefiniteClauseGrammerConvertor - Class in org.projog.core.predicate.udp

Provides support for Definite Clause Grammars (DCG).

DefiniteClauseGrammerConvertor() - Constructor for class org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor

Delete - Class in org.projog.core.predicate.builtin.list

delete(X,Y,Z) - remove all occurrences of a term from a list.

Delete() - Constructor for class org.projog.core.predicate.builtin.list.Delete

deleted - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.Link

deleteListener(ProjogListener) - Method in class org.projog.core.event.ProjogListeners

Deletes an observer from the set of observers of this objects internal Observable.

Delimiters - Class in org.projog.core.parser

Delimiters() - Constructor for class org.projog.core.parser.Delimiters

Dif - Class in org.projog.core.predicate.builtin.reif

dif(X,Y) - enforces restriction that the two given terms are never equal.

Dif() - Constructor for class org.projog.core.predicate.builtin.reif.Dif

Dif.DifVariableAttribute - Class in org.projog.core.predicate.builtin.reif

Dif.MyMap - Class in org.projog.core.predicate.builtin.reif

DifVariableAttribute() - Constructor for class org.projog.core.predicate.builtin.reif.Dif.DifVariableAttribute

Disjunction - Class in org.projog.core.predicate.builtin.compound

X;Y - disjunction.

Disjunction() - Constructor for class org.projog.core.predicate.builtin.compound.Disjunction

Disjunction.DisjunctionPredicate - Class in org.projog.core.predicate.builtin.compound

Disjunction.OptimisedDisjunction - Class in org.projog.core.predicate.builtin.compound

Disjunction.OptimisedIfThenElse - Class in org.projog.core.predicate.builtin.compound

DisjunctionPredicate(PredicateFactory, PredicateFactory, Term, Term) - Constructor for class org.projog.core.predicate.builtin.compound.Disjunction.DisjunctionPredicate

Distinct - Class in org.projog.core.predicate.builtin.clp

all_different([X,Y,Z]) - enforce that none of the given CLP variables share the same value.

Distinct() - Constructor for class org.projog.core.predicate.builtin.clp.Distinct

divide() - Static method in class org.projog.core.predicate.builtin.clp.CommonExpression

Divide - Class in org.projog.core.math.builtin

/ - performs division.

Divide() - Constructor for class org.projog.core.math.builtin.Divide

divideFractions(Numeric, Numeric) - Method in class org.projog.core.math.builtin.Divide

doRemoveMatches - Variable in class org.projog.core.predicate.builtin.kb.Inspect

true if matching rules should be removed (retracted) from the knowledge base as part of calls to #evaluate(Term, Term) or false if the knowledge base should remain unaltered.

Dynamic - Class in org.projog.core.predicate.builtin.kb

dynamic/1 - indicates that a user defined predicate is dynamic.

Dynamic() - Constructor for class org.projog.core.predicate.builtin.kb.Dynamic

DynamicUserDefinedPredicateFactory - Class in org.projog.core.predicate.udp

Maintains a record of the clauses that represents a "dynamic" user defined predicate.

DynamicUserDefinedPredicateFactory(KnowledgeBase, PredicateKey) - Constructor for class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

DynamicUserDefinedPredicateFactory.ClauseActionIterator - Class in org.projog.core.predicate.udp

DynamicUserDefinedPredicateFactory.ClauseActionMetaData - Class in org.projog.core.predicate.udp

DynamicUserDefinedPredicateFactory.ImplicationsIterator - Class in org.projog.core.predicate.udp

E

element - Variable in class org.projog.core.predicate.builtin.list.Member.MemberPredicate

element - Variable in class org.projog.core.predicate.builtin.list.Nth.Retryable

elsePf - Variable in class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedIfThenElse

EMPTY - Static variable in class org.projog.core.predicate.udp.Clauses

EMPTY_ARGS - Static variable in class org.projog.core.parser.Token

EMPTY_ARRAY - Static variable in class org.projog.core.term.TermUtils

A Term array of length 0.

EMPTY_LIST - org.projog.core.parser.TokenType

EMPTY_LIST - org.projog.core.term.TermType

EMPTY_LIST - Static variable in class org.projog.core.term.EmptyList

Singleton instance

EMPTY_LIST_TOKEN - Static variable in class org.projog.core.parser.SentenceParser

EMPTY_TYPES_ARRAY - Static variable in class org.projog.core.predicate.builtin.classify.CharType

EMPTY_VARIABLES - Static variable in class org.projog.api.QueryStatement

EmptyList - Class in org.projog.core.term

Represents a data structure with no Terms.

EmptyList() - Constructor for class org.projog.core.term.EmptyList

Private constructor to force use of EmptyList.EMPTY_LIST

END_OF_STREAM - Static variable in class org.projog.core.parser.CharacterParser

ends - Variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

enforce(ConstraintStore) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

EnsureLoaded - Class in org.projog.core.predicate.builtin.kb

ensure_loaded(X) - reads clauses and goals from a file.

EnsureLoaded() - Constructor for class org.projog.core.predicate.builtin.kb.EnsureLoaded

entrySet() - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

Equal - Class in org.projog.core.predicate.builtin.compare

X=Y - an equality test.

Equal() - Constructor for class org.projog.core.predicate.builtin.compare.Equal

equals(Object) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

equals(Object) - Method in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf.Key

equals(Object) - Method in class org.projog.core.predicate.PredicateKey

equals(Object) - Method in class org.projog.core.predicate.udp.KeyFactories.Key2

equals(Object) - Method in class org.projog.core.predicate.udp.KeyFactories.Key3

equals(Object) - Method in class org.projog.core.term.Atom

equals(Object) - Method in class org.projog.core.term.DecimalFraction

equals(Object) - Method in class org.projog.core.term.IntegerNumber

equals(Object) - Method in class org.projog.core.term.List

equals(Object) - Method in class org.projog.core.term.Structure

equalTo() - Static method in class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

equivalent() - Static method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

erase(Long) - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase

Erase - Class in org.projog.core.predicate.builtin.db

erase(X) - removes a record from the recorded database.

Erase() - Constructor for class org.projog.core.predicate.builtin.db.Erase

escape(int) - Method in class org.projog.core.parser.TokenParser

evaluate() - Method in class org.projog.api.QueryResult

evaluate() - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.bool.Fail

evaluate() - Method in class org.projog.core.predicate.builtin.bool.True

evaluate() - Method in class org.projog.core.predicate.builtin.classify.CharType.CharTypePredicate

evaluate() - Method in class org.projog.core.predicate.builtin.clp.Resolve.ClpResolvePredicate

evaluate() - Method in class org.projog.core.predicate.builtin.compare.Between.Retryable

evaluate() - Method in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

evaluate() - Method in class org.projog.core.predicate.builtin.compound.Conjunction.ConjunctionPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.compound.Disjunction.DisjunctionPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.compound.Limit.LimitPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.construct.AtomConcat.Retryable

evaluate() - Method in class org.projog.core.predicate.builtin.db.Recorded.RecordedPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.debug.Debugging

evaluate() - Method in class org.projog.core.predicate.builtin.debug.NoDebug

evaluate() - Method in class org.projog.core.predicate.builtin.debug.NoTrace

evaluate() - Method in class org.projog.core.predicate.builtin.debug.Trace

evaluate() - Method in class org.projog.core.predicate.builtin.flow.Cut.CutPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.flow.RepeatInfinitely.RepeatInfinitelyPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.flow.RepeatSetAmount.RepeatSetAmountPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.io.NewLine

evaluate() - Method in class org.projog.core.predicate.builtin.io.Seen

evaluate() - Method in class org.projog.core.predicate.builtin.io.Told

evaluate() - Method in class org.projog.core.predicate.builtin.kb.CurrentPredicate.Retryable

evaluate() - Method in class org.projog.core.predicate.builtin.kb.Inspect.InspectPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.list.Append.AppendPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.list.Fold.Retryable

evaluate() - Method in class org.projog.core.predicate.builtin.list.Last.LastPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.list.Length.Retryable

evaluate() - Method in class org.projog.core.predicate.builtin.list.MapList.Retryable

evaluate() - Method in class org.projog.core.predicate.builtin.list.Member.MemberPredicate

evaluate() - Method in class org.projog.core.predicate.builtin.list.Nth.Retryable

evaluate() - Method in class org.projog.core.predicate.builtin.list.Reverse.ReversePredicate

evaluate() - Method in class org.projog.core.predicate.builtin.list.Select.SelectPredicate

evaluate() - Method in interface org.projog.core.predicate.Predicate

Attempts to satisfy the goal this instance represents.

evaluate() - Method in class org.projog.core.predicate.SucceedsNeverPredicate

evaluate() - Method in class org.projog.core.predicate.SucceedsOncePredicate

evaluate() - Method in class org.projog.core.predicate.udp.InterpretedUserDefinedPredicate

Evaluates a user defined predicate.

evaluate() - Method in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory.RetryableRulePredicate

evaluate() - Method in class org.projog.core.predicate.udp.TailRecursivePredicate

evaluate(int, Term, Term) - Method in class org.projog.core.predicate.builtin.list.Nth

evaluate(Term) - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

evaluate(Term) - Method in class org.projog.core.predicate.builtin.classify.IsAtom

evaluate(Term) - Method in class org.projog.core.predicate.builtin.classify.IsAtomic

evaluate(Term) - Method in class org.projog.core.predicate.builtin.classify.IsCompound

evaluate(Term) - Method in class org.projog.core.predicate.builtin.classify.IsFloat

evaluate(Term) - Method in class org.projog.core.predicate.builtin.classify.IsInteger

evaluate(Term) - Method in class org.projog.core.predicate.builtin.classify.IsList

evaluate(Term) - Method in class org.projog.core.predicate.builtin.classify.IsNonVar

evaluate(Term) - Method in class org.projog.core.predicate.builtin.classify.IsNumber

evaluate(Term) - Method in class org.projog.core.predicate.builtin.classify.IsVar

evaluate(Term) - Method in class org.projog.core.predicate.builtin.clp.Distinct

evaluate(Term) - Method in class org.projog.core.predicate.builtin.compound.Not

evaluate(Term) - Method in class org.projog.core.predicate.builtin.compound.Not.OptimisedNot

evaluate(Term) - Method in class org.projog.core.predicate.builtin.compound.Once

evaluate(Term) - Method in class org.projog.core.predicate.builtin.compound.Once.OptimisedOnce

evaluate(Term) - Method in class org.projog.core.predicate.builtin.construct.NumberVars

evaluate(Term) - Method in class org.projog.core.predicate.builtin.db.Erase

evaluate(Term) - Method in class org.projog.core.predicate.builtin.debug.AlterSpyPoint

evaluate(Term) - Method in class org.projog.core.predicate.builtin.flow.Throw

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.Close

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.CurrentInput

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.CurrentOutput

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.GetChar

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.GetCode

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.PutChar

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.Read

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.See

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.SetInput

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.SetOutput

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.Tab

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.Tell

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.Write

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.WriteCanonical

evaluate(Term) - Method in class org.projog.core.predicate.builtin.io.Writef

evaluate(Term) - Method in class org.projog.core.predicate.builtin.kb.AddUserDefinedArithmeticOperator

evaluate(Term) - Method in class org.projog.core.predicate.builtin.kb.Assert

evaluate(Term) - Method in class org.projog.core.predicate.builtin.kb.Consult

evaluate(Term) - Method in class org.projog.core.predicate.builtin.kb.Dynamic

evaluate(Term) - Method in class org.projog.core.predicate.builtin.kb.EnsureLoaded

evaluate(Term) - Method in class org.projog.core.predicate.builtin.kb.Listing

evaluate(Term) - Method in class org.projog.core.predicate.builtin.kb.RetractAll

evaluate(Term) - Method in class org.projog.core.predicate.builtin.time.GetTime

evaluate(Term[]) - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

evaluate(Term, Term) - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.clp.AddExpressionFactory

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.clp.In

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.Equal

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.Is

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.Is.PreprocessedIs

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.Is.Unify

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.NotStrictEquality

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.NotUnifiable

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.NumericEquality

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.NumericGreaterThan

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.NumericGreaterThanOrEqual

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.NumericInequality

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.NumericLessThan

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.NumericLessThanOrEqual

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.StrictEquality

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.TermGreaterThan

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.TermGreaterThanOrEqual

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.TermLessThan

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.TermLessThanOrEqual

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compare.UnifyWithOccursCheck

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.compound.Conjunction.OptimisedSingletonConjuction

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.construct.CopyTerm

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.construct.Univ

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.db.InsertRecord

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.io.Writef

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.kb.AddArithmeticOperator

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.kb.AddPredicateFactory

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.kb.ConsultList

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.AppendListOfLists

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.AtomicListConcat

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.ExtremumList

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.Flatten

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.KeySort

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.MemberCheck

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.MemberCheck.PreprocessedMemberCheck

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.PairsElements

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.Sort

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.SortAsSet

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.Subset

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.reif.Dif

evaluate(Term, Term) - Method in class org.projog.core.predicate.builtin.time.ConvertTime

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.compare.Compare

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.compare.PredSort

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.compound.FindAll

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.construct.Arg

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.construct.AtomConcat

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.construct.Functor

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.construct.NumberVars

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.db.InsertRecord

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.io.Op

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.io.Open

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.kb.Flag

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.list.AtomicListConcat

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.list.Delete

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.list.SubList

evaluate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.list.SubtractFromList

evaluate(Term, Term, Term, Term) - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

evaluateClause(ClauseAction, SpyPoints.SpyPoint, Term[]) - Static method in class org.projog.core.predicate.udp.SingleNonRetryableRulePredicateFactory

evaluateFindAll(PredicateFactory, Term, Term, Term) - Static method in class org.projog.core.predicate.builtin.compound.FindAll

evaluateFold(PredicateFactory, Term, List<Term>, Term, Term) - Static method in class org.projog.core.predicate.builtin.list.Fold

evaluateNot(Term, PredicateFactory) - Static method in class org.projog.core.predicate.builtin.compound.Not

evaluateOnce(QueryResult, Set<String>) - Method in class org.projog.tools.ProjogConsole

Returns true if QueryResult can be re-tried

evaluatePredSort(PredicateFactory, Term, Term, Term) - Static method in class org.projog.core.predicate.builtin.compare.PredSort

evaluateSubList(PredicateFactory, Term, Term, Term) - Static method in class org.projog.core.predicate.builtin.list.SubList

evaluateWithConcreteFirstArgument(Term, Term) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

Converts arg1 to a list and attempts to unify it with arg2.

evaluateWithVariableFirstArgument(Term, Term) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

Converts arg2 from a list to an atom and attempts to unify it with arg1.

executeOnce() - Method in class org.projog.api.QueryPlan

Evaluate once the query represented by this statement.

executeOnce() - Method in class org.projog.api.QueryStatement

Evaluate once the query represented by this statement.

executeOnce(String) - Method in class org.projog.api.Projog

Evaluate once the given query.

executeQuery() - Method in class org.projog.api.QueryPlan

Return a newly created QueryResult for the query represented by this plan.

executeQuery() - Method in class org.projog.api.QueryStatement

Returns a new QueryResult for the query represented by this object.

executeQuery(String) - Method in class org.projog.api.Projog

Creates a QueryResult for querying the Projog environment.

ExpressionFactories - Class in org.projog.core.predicate.builtin.clp

Maintains a collection of ExpressionFactory instances.

ExpressionFactories(KnowledgeBase) - Constructor for class org.projog.core.predicate.builtin.clp.ExpressionFactories

ExpressionFactory - Interface in org.projog.core.predicate.builtin.clp

expressions - Variable in class org.projog.core.predicate.builtin.clp.AddExpressionFactory

expressions - Variable in class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

ExtremumList - Class in org.projog.core.predicate.builtin.list

min_list / max_list

ExtremumList(boolean) - Constructor for class org.projog.core.predicate.builtin.list.ExtremumList

F

FACTORIES - Static variable in class org.projog.core.predicate.udp.KeyFactories

factoryClassNames - Variable in class org.projog.core.predicate.builtin.clp.ExpressionFactories

factoryInstances - Variable in class org.projog.core.predicate.builtin.clp.ExpressionFactories

Fail - Class in org.projog.core.predicate.builtin.bool

fail - always fails.

Fail() - Constructor for class org.projog.core.predicate.builtin.bool.Fail

FALSE - Static variable in class org.projog.core.predicate.builtin.clp.ClpVariable

FALSE - Static variable in class org.projog.core.predicate.udp.PredicateUtils

fileHandles - Variable in class org.projog.core.kb.KnowledgeBase

FileHandles - Class in org.projog.core.io

Collection of input and output streams.

FileHandles() - Constructor for class org.projog.core.io.FileHandles

FindAll - Class in org.projog.core.predicate.builtin.compound

findall(X,P,L) - find all solutions that satisfy the goal.

FindAll() - Constructor for class org.projog.core.predicate.builtin.compound.FindAll

FindAll.PreprocessedFindAll - Class in org.projog.core.predicate.builtin.compound

findAllAsAtomName() - Method in class org.projog.api.QueryPlan

findAllAsAtomName() - Method in class org.projog.api.QueryStatement

Find all solutions generated by the query and return String representations of the atoms the single query variable was unified with.

findAllAsDouble() - Method in class org.projog.api.QueryPlan

findAllAsDouble() - Method in class org.projog.api.QueryStatement

Find all solutions generated by the query and return the double values the single query variable was unified with.

findAllAsLong() - Method in class org.projog.api.QueryPlan

findAllAsLong() - Method in class org.projog.api.QueryStatement

Find all solutions generated by the query and return the long values the single query variable was unified with.

findAllAsTerm() - Method in class org.projog.api.QueryPlan

findAllAsTerm() - Method in class org.projog.api.QueryStatement

Find all solutions generated by the query and return the Term values the single query variable was unified with.

findFirstAsAtomName() - Method in class org.projog.api.QueryPlan

findFirstAsAtomName() - Method in class org.projog.api.QueryStatement

Execute the query once and return a String representation of the atom the single query variable was unified with.

findFirstAsDouble() - Method in class org.projog.api.QueryPlan

findFirstAsDouble() - Method in class org.projog.api.QueryStatement

Execute the query once and return a double representation of the term the single query variable was unified with.

findFirstAsLong() - Method in class org.projog.api.QueryPlan

findFirstAsLong() - Method in class org.projog.api.QueryStatement

Execute the query once and return a long representation of the term the single query variable was unified with.

findFirstAsOptionalAtomName() - Method in class org.projog.api.QueryPlan

findFirstAsOptionalAtomName() - Method in class org.projog.api.QueryStatement

Attempt to execute the query once and return a String representation of the atom the single query variable was unified with.

findFirstAsOptionalDouble() - Method in class org.projog.api.QueryPlan

findFirstAsOptionalDouble() - Method in class org.projog.api.QueryStatement

Attempt to execute the query once and return a Double representation of the term the single query variable was unified with.

findFirstAsOptionalLong() - Method in class org.projog.api.QueryPlan

findFirstAsOptionalLong() - Method in class org.projog.api.QueryStatement

Attempt to execute the query once and return a Long representation of the term the single query variable was unified with.

findFirstAsOptionalTerm() - Method in class org.projog.api.QueryPlan

findFirstAsOptionalTerm() - Method in class org.projog.api.QueryStatement

Attempt to execute the query once and return a Term representation of the term the single query variable was unified with.

findFirstAsTerm() - Method in class org.projog.api.QueryPlan

findFirstAsTerm() - Method in class org.projog.api.QueryStatement

Execute the query once and return the Term the single query variable was unified with.

findMinimum - Variable in class org.projog.core.predicate.builtin.list.ExtremumList

first - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.Chain

FIRST - Static variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

FIRST_ARG_ARITY - Static variable in class org.projog.core.predicate.builtin.compare.PredSort

The arity of the predicate represented by the first argument.

FIRST_ARG_ARITY - Static variable in class org.projog.core.predicate.builtin.list.Fold

The arity of the predicate represented by the first argument.

firstArg - Variable in class org.projog.core.predicate.builtin.list.Select.SelectPredicate

firstArgNumeric - Variable in class org.projog.core.predicate.builtin.construct.TermSplit

firstClause - Variable in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

firstClauseConsequentArgs - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

firstClauseConsequentArgs - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

firstClauseOriginalTerms - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

firstClauseOriginalTerms - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

firstClausePredicateFactories - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

firstClausePredicateFactories - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

firstPredicate - Variable in class org.projog.core.predicate.builtin.compound.Conjunction.ConjunctionPredicate

firstPredicate - Variable in class org.projog.core.predicate.builtin.compound.Disjunction.DisjunctionPredicate

firstPredicateFactory - Variable in class org.projog.core.predicate.builtin.compound.Conjunction.OptimisedRetryableConjuction

firstPredicateFactory - Variable in class org.projog.core.predicate.builtin.compound.Conjunction.OptimisedSingletonConjuction

Flag - Class in org.projog.core.predicate.builtin.kb

flag(X,Y,Z) - associates a key with a value.

Flag() - Constructor for class org.projog.core.predicate.builtin.kb.Flag

flags - Variable in class org.projog.core.predicate.builtin.kb.Flag

Flatten - Class in org.projog.core.predicate.builtin.list

flatten(X,Y) - flattens a nested list.

Flatten() - Constructor for class org.projog.core.predicate.builtin.list.Flatten

flattenList(Term) - Method in class org.projog.core.predicate.builtin.list.Flatten

FLOAT - org.projog.core.parser.TokenType

Fold - Class in org.projog.core.predicate.builtin.list

foldl(PredicateName, Values, Start, Result) - combines elements of a list into a single term.

Fold() - Constructor for class org.projog.core.predicate.builtin.list.Fold

Fold.OptimisedFold - Class in org.projog.core.predicate.builtin.list

Fold.Retryable - Class in org.projog.core.predicate.builtin.list

format(String, List<Term>) - Method in class org.projog.core.predicate.builtin.io.Writef

format(Term) - Method in class org.projog.core.predicate.builtin.io.Writef.Formatter

Formatter(String, List<Term>, TermFormatter) - Constructor for class org.projog.core.predicate.builtin.io.Writef.Formatter

formatTerm(Term) - Method in class org.projog.api.Projog

Returns a string representation of the specified Term.

formatTerm(Term) - Method in class org.projog.core.term.TermFormatter

Returns a string representation of the specified Term.

fourthArg - Variable in class org.projog.core.predicate.builtin.list.Select.SelectPredicate

FRACTION - org.projog.core.term.TermType

function - Variable in class org.projog.core.predicate.builtin.clp.CommonExpression

functor - Variable in class org.projog.core.term.Structure

Functor - Class in org.projog.core.predicate.builtin.construct

functor(T,F,N)

Functor() - Constructor for class org.projog.core.predicate.builtin.construct.Functor

fx - org.projog.core.parser.Operands.Associativity

fx(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents a prefix operator with associativity of fx, else false.

fy - org.projog.core.parser.Operands.Associativity

fy(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents a prefix operator with associativity of fy, else false.

G

get(Object) - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

getActualPredicateFactory() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

getAll() - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase

getAllDefinedPredicateKeys() - Method in class org.projog.core.predicate.Predicates

Returns details of all predicates, both user-defined and built-in predicates.

getAllVariables(Term) - Method in class org.projog.core.predicate.builtin.clp.Resolve

find all variables in input argument, and all variables connected to them via constraints

getAllVariablesInTerm(Term) - Static method in class org.projog.core.term.TermUtils

Returns all Variables contained in the specified term.

getAllVariablesInTerm(Term, Set<Variable>) - Static method in class org.projog.core.term.TermUtils

getAntecedent() - Method in class org.projog.core.predicate.udp.ClauseModel

Returns the body of the clause.

getAntecedent(Term) - Static method in class org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor

getArgs() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getArgs() - Method in class org.projog.core.term.Atom

getArgs() - Method in class org.projog.core.term.DecimalFraction

getArgs() - Method in class org.projog.core.term.EmptyList

getArgs() - Method in class org.projog.core.term.IntegerNumber

getArgs() - Method in class org.projog.core.term.List

getArgs() - Method in class org.projog.core.term.Structure

getArgs() - Method in interface org.projog.core.term.Term

Returns an array of this terms's arguments.

getArgs() - Method in class org.projog.core.term.Variable

Calls Term.getArgs() on the Term this variable is instantiated with.

getArgument(int) - Method in class org.projog.core.parser.Token

getArgument(int) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getArgument(int) - Method in class org.projog.core.term.Atom

getArgument(int) - Method in class org.projog.core.term.DecimalFraction

getArgument(int) - Method in class org.projog.core.term.EmptyList

getArgument(int) - Method in class org.projog.core.term.IntegerNumber

getArgument(int) - Method in class org.projog.core.term.List

getArgument(int) - Method in class org.projog.core.term.Structure

getArgument(int) - Method in interface org.projog.core.term.Term

Returns the term at the specified position in this term's arguments.

getArgument(int) - Method in class org.projog.core.term.Variable

Calls Term.getArgument(int) on the Term this variable is instantiated with.

getArguments() - Method in class org.projog.core.parser.Token

getArithmeticOperator(PredicateKey) - Method in class org.projog.core.math.ArithmeticOperators

getArithmeticOperators() - Method in class org.projog.core.kb.KnowledgeBase

getArithmeticOperators() - Method in class org.projog.core.predicate.AbstractPredicateFactory

getArithmeticOperators() - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

getAssociativity(String) - Method in class org.projog.core.parser.Operands

getAtomName(String) - Method in class org.projog.api.QueryResult

Returns the name of the atom instantiated to the variable with the specified id.

getAtomName(Term) - Static method in class org.projog.core.term.TermUtils

Return the name of the Atom represented by the specified Atom.

getAttributeOrDefault(VariableAttribute, Term) - Method in class org.projog.core.term.Variable

getBootstrapScript() - Method in class org.projog.core.kb.ProjogDefaultProperties

Returns ProjogProperties.DEFAULT_BOOTSTRAP_SCRIPT

getBootstrapScript() - Method in interface org.projog.core.kb.ProjogProperties

Returns the name of the resource loaded by KnowledgeBaseUtils.bootstrap(KnowledgeBase).

getBound() - Method in interface org.projog.core.term.Term

Returns the term this object is bound to.

getBound() - Method in class org.projog.core.term.Variable

getChain(PredicateKey) - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase

GetChar - Class in org.projog.core.predicate.builtin.io

get_char(X) - reads the next character from the input stream.

GetChar() - Constructor for class org.projog.core.predicate.builtin.io.GetChar

getCharacter() - Method in class org.projog.core.predicate.builtin.classify.CharType.State

getClauseActions() - Method in class org.projog.core.predicate.udp.Clauses

getClauseCount() - Method in class org.projog.core.predicate.udp.Indexes

getClauseModel() - Method in class org.projog.core.event.SpyPoints.SpyPointExitEvent

getClauseModel(int) - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

getClauseModel(int) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

getClauseModel(int) - Method in interface org.projog.core.predicate.udp.UserDefinedPredicateFactory

Returns the clause at the specified position in this predicate's list of clauses.

getClauses() - Method in exception org.projog.core.ProjogException

getClauses(Throwable) - Method in class org.projog.api.Projog

getClauses(PredicateKey) - Method in class org.projog.core.predicate.builtin.kb.Listing

GetCode - Class in org.projog.core.predicate.builtin.io

get_code(X) - reads the next character from the input stream.

GetCode() - Constructor for class org.projog.core.predicate.builtin.io.GetCode

getColumnNumber() - Method in class org.projog.core.parser.CharacterParser

Returns the index, in the line currently being parsed, of the character that will be returned by the next call to CharacterParser.getNext().

getColumnNumber() - Method in exception org.projog.core.parser.ParserException

Returns the index in the line being parsed of the character being parsed when the problem occurred.

getConsequent() - Method in class org.projog.core.predicate.udp.ClauseModel

Returns the head of the clause.

getConsequent(Term) - Static method in class org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor

getConstraints() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getConstraints(Set<ClpVariable>) - Method in class org.projog.core.predicate.builtin.clp.Resolve

return all constraints of all of the given variables

getCopyOfImplications() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

getCurrentInputHandle() - Method in class org.projog.core.io.FileHandles

Return the Term representing the current input stream.

getCurrentInputStream() - Method in class org.projog.core.io.FileHandles

Return the current input stream.

getCurrentOutputHandle() - Method in class org.projog.core.io.FileHandles

Return the Term representing the current output stream.

getCurrentOutputStream() - Method in class org.projog.core.io.FileHandles

Return the current output stream.

getCurriedPredicateFactory(Predicates, Term) - Static method in class org.projog.core.predicate.builtin.list.PartialApplicationUtils

getDescription(PrintStream) - Method in exception org.projog.core.parser.ParserException

Prints a description of this exception to the specified print stream.

getDouble() - Method in interface org.projog.core.math.Numeric

Returns the value of this numeric as a double.

getDouble() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getDouble() - Method in class org.projog.core.term.DecimalFraction

getDouble() - Method in class org.projog.core.term.IntegerNumber

getDouble(String) - Method in class org.projog.api.QueryResult

Returns the double value instantiated to the variable with the specified id.

getExistingPredicateFactory(PredicateKey) - Method in class org.projog.core.predicate.Predicates

getExpressionFactory(PredicateKey) - Method in class org.projog.core.predicate.builtin.clp.ExpressionFactories

getFileHandles() - Method in class org.projog.core.kb.KnowledgeBase

getFileHandles() - Method in class org.projog.core.predicate.AbstractPredicateFactory

getFileHandles() - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

getFinalFunction(Term) - Method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

getFirstClause() - Method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

getFoldPredicate(PredicateFactory, Term, Term, Term, Term) - Static method in class org.projog.core.predicate.builtin.list.Fold

getFormattedClause() - Method in class org.projog.core.event.SpyPoints.SpyPointExitEvent

getFormattedTerm() - Method in class org.projog.core.event.SpyPoints.SpyPointEvent

getId() - Method in class org.projog.core.term.Variable

getImmutableColumns() - Method in class org.projog.core.predicate.udp.Clauses

getImplications() - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

Returns an iterator over the clauses of this user defined predicate.

getImplications() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

Returns an iterator over the clauses of this user defined predicate.

getImplications() - Method in interface org.projog.core.predicate.udp.UserDefinedPredicateFactory

Returns an iterator over the clauses in the predicate in proper sequence.

getInfixPriority(String) - Method in class org.projog.core.parser.Operands

Returns the priority (precedence/level) of the infix operator represented by op.

getInstance(Reader, Operands) - Static method in class org.projog.core.parser.SentenceParser

Returns a new SentenceParser that will parse Prolog syntax read from the specified Reader using the specified Operands.

getInstance(Class<?>) - Method in class org.projog.core.kb.KnowledgeBaseServiceLocator

Returns the Object associated the specified instanceType.

getInstance(Class<?>, Class<?>) - Method in class org.projog.core.kb.KnowledgeBaseServiceLocator

Returns the Object associated the specified referenceType.

getInstance(String, Operands) - Static method in class org.projog.core.parser.SentenceParser

Returns a new SentenceParser will parse the specified String using the specified Operands.

getInvalidTypeExceptionMessage(Term) - Static method in class org.projog.core.predicate.PredicateKey

getIterator(Term, RecordedDatabase) - Method in class org.projog.core.predicate.builtin.db.Recorded

getKey() - Method in class org.projog.core.predicate.builtin.db.Record

getKeyCount() - Method in class org.projog.core.predicate.udp.Index

getKeyFactory(int) - Static method in class org.projog.core.predicate.udp.KeyFactories

getKnowledgeBase() - Method in class org.projog.api.Projog

Returns the KnowledgeBase associated with this object.

getKnowledgeBase() - Method in class org.projog.core.predicate.AbstractPredicateFactory

getKnowledgeBase() - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

getKnowledgeBaseArgumentConstructor(Class<?>) - Method in class org.projog.core.kb.KnowledgeBaseServiceLocator

getLimitPredicate(PredicateFactory, Term, Term) - Static method in class org.projog.core.predicate.builtin.compound.Limit

getLine() - Method in class org.projog.core.parser.CharacterParser

Returns the entire contents of the line currently being parsed.

getLine() - Method in exception org.projog.core.parser.ParserException

Returns the contents of the line being parsed when the problem occurred.

getLineNumber() - Method in class org.projog.core.parser.CharacterParser

Returns the line number of the line currently being parsed.

getLineNumber() - Method in exception org.projog.core.parser.ParserException

Returns the line number of the line being parsed when the problem occurred.

getList(Term) - Static method in class org.projog.core.term.TermFormatter

getLong() - Method in interface org.projog.core.math.Numeric

Returns the value of this numeric as a long.

getLong() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getLong() - Method in class org.projog.core.term.DecimalFraction

getLong() - Method in class org.projog.core.term.IntegerNumber

getLong(String) - Method in class org.projog.api.QueryResult

Returns the long value instantiated to the variable with the specified id.

getMapListPredicate(PredicateFactory, Term[]) - Static method in class org.projog.core.predicate.builtin.list.MapList

getMatches(Term[]) - Method in class org.projog.core.predicate.udp.Index

getMax(Expression) - Method in class org.projog.core.predicate.builtin.clp.CoreConstraintStore

getMax(ReadConstraintStore) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getMin(Expression) - Method in class org.projog.core.predicate.builtin.clp.CoreConstraintStore

getMin(ReadConstraintStore) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getModel() - Method in interface org.projog.core.predicate.udp.ClauseAction

getModel() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.AlwaysMatchedFact

getModel() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableConsequentRule

getModel() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableFact

getModel() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.MutableFact

getModel() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.MutableRule

getModel() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.VariableAntecedantClauseAction

getModel() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ZeroArgConsequentRule

getName() - Method in class org.projog.core.parser.Token

getName() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getName() - Method in class org.projog.core.predicate.builtin.reif.Dif.DifVariableAttribute

getName() - Method in class org.projog.core.predicate.PredicateKey

getName() - Method in class org.projog.core.term.Atom

Returns the value this Atom represents.

getName() - Method in class org.projog.core.term.DecimalFraction

Returns a String representation of the double this term represents.

getName() - Method in class org.projog.core.term.EmptyList

Returns ListFactory.LIST_PREDICATE_NAME.

getName() - Method in class org.projog.core.term.IntegerNumber

Returns a String representation of the long this term represents.

getName() - Method in class org.projog.core.term.List

Returns ListFactory.LIST_PREDICATE_NAME.

getName() - Method in class org.projog.core.term.Structure

Returns the functor of this structure.

getName() - Method in interface org.projog.core.term.Term

Returns a string representation of this term.

getName() - Method in class org.projog.core.term.Variable

Calls Term.getName() on the Term this variable is instantiated with.

getName() - Method in interface org.projog.core.term.VariableAttribute

getNext() - Method in class org.projog.core.parser.CharacterParser

Reads a single character.

getNext() - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ImplicationsIterator

getNumArgs() - Method in class org.projog.core.predicate.PredicateKey

getNumberOfArguments() - Method in class org.projog.core.parser.Token

getNumberOfArguments() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getNumberOfArguments() - Method in class org.projog.core.term.Atom

getNumberOfArguments() - Method in class org.projog.core.term.DecimalFraction

getNumberOfArguments() - Method in class org.projog.core.term.EmptyList

getNumberOfArguments() - Method in class org.projog.core.term.IntegerNumber

getNumberOfArguments() - Method in class org.projog.core.term.List

getNumberOfArguments() - Method in class org.projog.core.term.Structure

getNumberOfArguments() - Method in interface org.projog.core.term.Term

Returns the number of arguments in this term.

getNumberOfArguments() - Method in class org.projog.core.term.Variable

Calls Term.getNumberOfArguments() on the Term this variable is instantiated with.

getNumeric(Term) - Method in class org.projog.core.math.ArithmeticOperators

Returns the result of evaluating the specified arithmetic expression.

getOperands() - Method in class org.projog.core.kb.KnowledgeBase

getOperands() - Method in class org.projog.core.predicate.AbstractPredicateFactory

getOperands() - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

getOperandsMap(Operands.Associativity) - Method in class org.projog.core.parser.Operands

getOrCreate(PredicateKey) - Method in class org.projog.core.predicate.builtin.kb.Flag

getOrCreateChain(PredicateKey) - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase

getOrCreateIndex(int) - Method in class org.projog.core.predicate.udp.Indexes

getOrCreateVariable(String) - Method in class org.projog.core.parser.SentenceParser

getOrCreateVariables(Term) - Method in class org.projog.core.predicate.builtin.clp.Distinct

getOriginal() - Method in class org.projog.core.predicate.udp.ClauseModel

getParsedTermVariables() - Method in class org.projog.core.parser.SentenceParser

Returns collection of Variable instances created by this SentenceParser.

getPartiallyAppliedPredicateFactory(Predicates, Term, int) - Static method in class org.projog.core.predicate.builtin.list.PartialApplicationUtils

getPostfixPriority(String) - Method in class org.projog.core.parser.Operands

Returns the priority (precedence/level) of the postfix operator represented by op.

getPrecedence() - Method in enum org.projog.core.term.TermType

Used to consistently order Terms of different types.

getPredicate() - Method in class org.projog.core.predicate.AbstractPredicateFactory

getPredicate() - Method in class org.projog.core.predicate.builtin.flow.Cut

getPredicate() - Method in class org.projog.core.predicate.builtin.flow.RepeatInfinitely

getPredicate(PredicateFactory, Term) - Method in class org.projog.core.predicate.builtin.compound.Disjunction.DisjunctionPredicate

getPredicate(PredicateFactory, Term, Term...) - Static method in class org.projog.core.predicate.builtin.list.PartialApplicationUtils

getPredicate(Term) - Method in class org.projog.core.predicate.AbstractPredicateFactory

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.clp.Resolve

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.compound.Call

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.flow.RepeatSetAmount

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.kb.CurrentPredicate

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.kb.Inspect

getPredicate(Term) - Method in class org.projog.core.predicate.Predicates

getPredicate(Term[]) - Method in class org.projog.core.predicate.AbstractPredicateFactory

getPredicate(Term[]) - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.compare.PredSort.PreprocessedPredSort

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.compound.BagOf.PreprocessedBagOf

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.compound.Call

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedDisjunction

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedIfThenElse

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.compound.FindAll.PreprocessedFindAll

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.compound.IfThen.OptimisedIfThen

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.compound.Limit.OptimisedLimit

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.compound.SetOf.PreprocessedSetOf

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.list.Fold.OptimisedFold

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.list.MapList

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.list.MapList.PreprocessedMapList

getPredicate(Term[]) - Method in class org.projog.core.predicate.builtin.list.SubList.PreprocessedSubList

getPredicate(Term[]) - Method in interface org.projog.core.predicate.PredicateFactory

Returns a Predicate to be used in the evaluation of a goal.

getPredicate(Term[]) - Method in interface org.projog.core.predicate.udp.ClauseAction

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.ClauseActionFactory.AlwaysMatchedFact

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableConsequentRule

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableFact

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.ClauseActionFactory.MutableFact

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.ClauseActionFactory.MutableRule

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.ClauseActionFactory.VariableAntecedantClauseAction

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ZeroArgConsequentRule

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.NeverSucceedsPredicateFactory

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.SingleNonRetryableRulePredicateFactory

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.IndexablePredicateFactory

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory

getPredicate(Term[]) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory

getPredicate(Term[]) - Method in class org.projog.core.predicate.UnknownPredicate

getPredicate(Term, Term) - Method in class org.projog.core.predicate.AbstractPredicateFactory

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.classify.CharType

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.compound.Conjunction

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.compound.Conjunction.OptimisedRetryableConjuction

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.compound.Disjunction

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.compound.IfThen

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.compound.Limit

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.db.Recorded

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.kb.Inspect

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.Last

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.Length

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.Member

getPredicate(Term, Term) - Method in class org.projog.core.predicate.builtin.list.Reverse

getPredicate(Term, Term, Term) - Method in class org.projog.core.predicate.AbstractPredicateFactory

getPredicate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.compare.Between

getPredicate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.compound.BagOf

getPredicate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.compound.SetOf

getPredicate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.construct.AtomConcat

getPredicate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.db.Recorded

getPredicate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.list.Append

getPredicate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.list.Nth

getPredicate(Term, Term, Term) - Method in class org.projog.core.predicate.builtin.list.Select

getPredicate(Term, Term, Term, Term) - Method in class org.projog.core.predicate.AbstractPredicateFactory

getPredicate(Term, Term, Term, Term) - Method in class org.projog.core.predicate.builtin.list.Fold

getPredicateFactory(PredicateKey) - Method in class org.projog.core.predicate.Predicates

Returns the PredicateFactory associated with the specified PredicateKey.

getPredicateFactory(Term) - Method in class org.projog.core.predicate.Predicates

Returns the PredicateFactory associated with the specified Term.

getPredicateKey() - Method in class org.projog.api.ProjogStackTraceElement

Represents the user defined predicate this stack trace element was generated for.

getPredicateKey() - Method in class org.projog.core.event.SpyPoints.SpyPoint

getPredicateKey() - Method in class org.projog.core.event.SpyPoints.SpyPointEvent

getPredicateKey() - Method in class org.projog.core.predicate.udp.ClauseModel

getPredicateKey() - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

getPredicateKey() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

getPredicateKey() - Method in interface org.projog.core.predicate.udp.UserDefinedPredicateFactory

Returns the key for the predicate this object represents

getPredicateKeysByName(KnowledgeBase, String) - Static method in class org.projog.core.kb.KnowledgeBaseUtils

Returns list of all user defined predicates with the specified name.

getPredicates() - Method in class org.projog.core.kb.KnowledgeBase

getPredicates() - Method in class org.projog.core.predicate.AbstractPredicateFactory

getPredicates() - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

getPrefixPriority(String) - Method in class org.projog.core.parser.Operands

Returns the priority (precedence/level) of the prefix operator represented by op.

getPreprocessedArithmeticOperator(PredicateKey, Term) - Method in class org.projog.core.math.ArithmeticOperators

getPreprocessedArithmeticOperator(Term) - Method in class org.projog.core.math.ArithmeticOperators

getPreprocessedCurriedPredicateFactory(Predicates, Term) - Static method in class org.projog.core.predicate.builtin.list.PartialApplicationUtils

getPreprocessedPartiallyAppliedPredicateFactory(Predicates, Term, int) - Static method in class org.projog.core.predicate.builtin.list.PartialApplicationUtils

getPreprocessedPredicateFactory(Term) - Method in class org.projog.core.predicate.Predicates

getPriority(Term) - Method in class org.projog.core.term.TermFormatter

getProjogListeners() - Method in class org.projog.core.kb.KnowledgeBase

getProjogListeners() - Method in class org.projog.core.predicate.AbstractPredicateFactory

getProjogListeners() - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

getProjogProperties() - Method in class org.projog.core.kb.KnowledgeBase

getReader(KnowledgeBase, String) - Static method in class org.projog.core.parser.ProjogSourceReader

Creates a new Reader for the specified resource.

getReference() - Method in class org.projog.core.predicate.builtin.db.Record

getResourceName(Term) - Method in class org.projog.core.predicate.builtin.kb.EnsureLoaded

getSecondClause() - Method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

getServiceLocator(KnowledgeBase) - Static method in class org.projog.core.kb.KnowledgeBaseServiceLocator

Returns the KnowledgeBaseServiceLocator associated with the specified KnowledgeBase.

getSingleVariableId() - Method in class org.projog.api.QueryStatement

Returns the ID of the single variable contained in the query this statement represents.

getSourceId() - Method in class org.projog.core.event.SpyPoints.SpyPointEvent

getSpyPoint(KnowledgeBase, TailRecursivePredicateMetaData) - Static method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

getSpyPoint(PredicateKey) - Method in class org.projog.core.event.SpyPoints

getSpyPoints() - Method in class org.projog.core.event.SpyPoints

getSpyPoints() - Method in class org.projog.core.kb.KnowledgeBase

getSpyPoints() - Method in class org.projog.core.predicate.AbstractPredicateFactory

getSpyPoints() - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

getStackTrace(Throwable) - Method in class org.projog.api.Projog

Provides programmatic access to the stack trace information printed by Projog.printProjogStackTrace(Throwable).

getState() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getTerm() - Method in class org.projog.api.ProjogStackTraceElement

Represents the clause this stack trace element was generated for.

getTerm() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getTerm() - Method in class org.projog.core.term.Atom

getTerm() - Method in class org.projog.core.term.DecimalFraction

getTerm() - Method in class org.projog.core.term.EmptyList

getTerm() - Method in class org.projog.core.term.IntegerNumber

getTerm() - Method in class org.projog.core.term.List

getTerm() - Method in class org.projog.core.term.Structure

getTerm() - Method in interface org.projog.core.term.Term

Returns the current instantiated state of this term.

getTerm() - Method in class org.projog.core.term.Variable

getTerm(String) - Method in class org.projog.api.QueryResult

Returns the term instantiated to the variable with the specified id.

getTermFormatter() - Method in class org.projog.core.kb.KnowledgeBase

getTermFormatter() - Method in class org.projog.core.predicate.AbstractPredicateFactory

getTermFormatter() - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

GetTime - Class in org.projog.core.predicate.builtin.time

get_time(X) - gets the current system time.

GetTime() - Constructor for class org.projog.core.predicate.builtin.time.GetTime

getType() - Method in class org.projog.core.parser.Token

getType() - Method in class org.projog.core.predicate.builtin.classify.CharType.State

getType() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

getType() - Method in class org.projog.core.term.Atom

Returns TermType.ATOM.

getType() - Method in class org.projog.core.term.DecimalFraction

Returns TermType.FRACTION.

getType() - Method in class org.projog.core.term.EmptyList

Returns TermType.EMPTY_LIST.

getType() - Method in class org.projog.core.term.IntegerNumber

Returns TermType.INTEGER.

getType() - Method in class org.projog.core.term.List

Returns TermType.LIST.

getType() - Method in class org.projog.core.term.Structure

Returns TermType.STRUCTURE.

getType() - Method in interface org.projog.core.term.Term

Returns the TermType represented by this term.

getType() - Method in class org.projog.core.term.Variable

Returns TermType.VARIABLE if uninstantiated else TermType of instantiated Term.

getUserDefinedPredicates() - Method in class org.projog.core.predicate.Predicates

Returns details of all the user define predicates of this object.

getValue() - Method in class org.projog.core.predicate.builtin.db.Record

getValue() - Method in class org.projog.core.term.Variable

getVariableIds() - Method in class org.projog.api.QueryResult

Returns id's of all variables defined in the query this object represents.

getVariablesFromInputArgument(Term) - Method in class org.projog.core.predicate.builtin.clp.Resolve

find all variables in the input argument - input argument could be a single variable or a list of variables

getVariablesNotInTemplate(Term, Term) - Method in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

getWhitespace(int) - Method in class org.projog.core.predicate.builtin.io.Writef

goal - Variable in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

greaterThan() - Static method in class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

greaterThanOrEqualTo() - Static method in class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

groupDataByPositions(int[]) - Method in class org.projog.core.predicate.udp.Indexes

H

hasBeenEvaluated - Variable in class org.projog.api.QueryResult

hasFailed - Variable in class org.projog.api.QueryResult

hasFoundAnotherSolution(Predicate) - Method in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

hasFoundAnotherSolution(Predicate) - Static method in class org.projog.core.predicate.builtin.compound.FindAll

hashCode - Variable in class org.projog.core.predicate.udp.KeyFactories.Key2

hashCode - Variable in class org.projog.core.predicate.udp.KeyFactories.Key3

hashCode - Variable in class org.projog.core.term.List

hashCode - Variable in class org.projog.core.term.Structure

hashCode() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

hashCode() - Method in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf.Key

hashCode() - Method in class org.projog.core.predicate.PredicateKey

hashCode() - Method in class org.projog.core.predicate.udp.KeyFactories.Key2

hashCode() - Method in class org.projog.core.predicate.udp.KeyFactories.Key3

hashCode() - Method in class org.projog.core.term.Atom

hashCode() - Method in class org.projog.core.term.DecimalFraction

hashCode() - Method in class org.projog.core.term.IntegerNumber

hashCode() - Method in class org.projog.core.term.List

hashCode() - Method in class org.projog.core.term.Structure

hasIteratedOverAllChains() - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase.DatabaseIterator

hasMore() - Method in class org.projog.core.predicate.builtin.io.Writef.Formatter

hasNext() - Method in class org.projog.core.parser.TokenParser

hasNext() - Method in class org.projog.core.predicate.builtin.classify.CharType.State

hasNext() - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase.ChainIterator

hasNext() - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase.DatabaseIterator

hasNext() - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ClauseActionIterator

hasNext() - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ImplicationsIterator

hasNext() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.ActionIterator

hasNext() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.ImplicationsIterator

hasPrimaryKey - Variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

hasSingleListWithSingleAtomElement(Term[]) - Static method in class org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor

head - Variable in class org.projog.core.term.List

I

id - Variable in class org.projog.core.term.Variable

The value by which the variable can be identified

idx - Variable in class org.projog.core.predicate.builtin.list.Fold.Retryable

idx - Variable in class org.projog.core.predicate.builtin.list.MapList.Retryable

IfThen - Class in org.projog.core.predicate.builtin.compound

X->Y - if X succeeds then Y is evaluated.

IfThen() - Constructor for class org.projog.core.predicate.builtin.compound.IfThen

IfThen.OptimisedIfThen - Class in org.projog.core.predicate.builtin.compound

immutable - Variable in class org.projog.core.term.List

immutable - Variable in class org.projog.core.term.Structure

immutableColumns - Variable in class org.projog.core.predicate.udp.Clauses

ImmutableConsequentRule(ClauseModel, PredicateFactory) - Constructor for class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableConsequentRule

ImmutableFact(ClauseModel) - Constructor for class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableFact

IMPLICATION_PREDICATE_NAME - Static variable in class org.projog.core.kb.KnowledgeBaseUtils

The functor of structures representing implications (:-).

implications - Variable in class org.projog.core.predicate.builtin.kb.Inspect.InspectPredicate

implications - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

ImplicationsIterator() - Constructor for class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ImplicationsIterator

ImplicationsIterator(List<ClauseModel>) - Constructor for class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.ImplicationsIterator

in - Variable in class org.projog.core.io.FileHandles

in - Variable in class org.projog.tools.ProjogConsole

In - Class in org.projog.core.predicate.builtin.clp

X in 1..4 / [X,Y,Z] ins 1..4 - restrict CLP variables to a range of values.

In() - Constructor for class org.projog.core.predicate.builtin.clp.In

index - Variable in class org.projog.core.predicate.builtin.list.Nth.Retryable

index - Variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

index - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.IndexablePredicateFactory

index - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory

index(Term[]) - Method in class org.projog.core.predicate.udp.Indexes

Index - Class in org.projog.core.predicate.udp

Index(int[], Map<Object, ClauseAction[]>) - Constructor for class org.projog.core.predicate.udp.Index

indexableArgs - Variable in class org.projog.core.predicate.udp.Indexes

IndexablePredicateFactory(Clauses) - Constructor for class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.IndexablePredicateFactory

indexes - Variable in class org.projog.core.predicate.udp.Indexes

Indexes - Class in org.projog.core.predicate.udp

Supports term indexing of user defined predicates.

Indexes(Clauses) - Constructor for class org.projog.core.predicate.udp.Indexes

infix(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents an infix operator, else false.

INFIX - org.projog.core.parser.Operands.Location

An operator that is positioned between its two arguments.

infixOperands - Variable in class org.projog.core.parser.Operands

init() - Method in class org.projog.core.predicate.AbstractPredicateFactory

This method is called by AbstractPredicateFactory.setKnowledgeBase(KnowledgeBase).

init() - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

This method is called by AbstractSingleResultPredicate.setKnowledgeBase(KnowledgeBase).

init() - Method in class org.projog.core.predicate.builtin.clp.AddExpressionFactory

init() - Method in class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

init() - Method in class org.projog.core.predicate.builtin.db.Erase

init() - Method in class org.projog.core.predicate.builtin.db.InsertRecord

init() - Method in class org.projog.core.predicate.builtin.kb.RetractAll

init(Term, Term) - Method in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

inputArg1 - Variable in class org.projog.core.predicate.builtin.compound.Disjunction.DisjunctionPredicate

inputArg2 - Variable in class org.projog.core.predicate.builtin.compound.Disjunction.DisjunctionPredicate

inputHandles - Variable in class org.projog.core.io.FileHandles

insertLast - Variable in class org.projog.core.predicate.builtin.db.InsertRecord

InsertRecord - Class in org.projog.core.predicate.builtin.db

recorda(X,Y,Z) / recordz(X,Y,Z) - associates a term with a key.

InsertRecord(boolean) - Constructor for class org.projog.core.predicate.builtin.db.InsertRecord

Inspect - Class in org.projog.core.predicate.builtin.kb

clause(X,Y) / retract(X) - matches terms to existing clauses.

Inspect(boolean) - Constructor for class org.projog.core.predicate.builtin.kb.Inspect

Inspect.InspectPredicate - Class in org.projog.core.predicate.builtin.kb

inspectClause() - Static method in class org.projog.core.predicate.builtin.kb.Inspect

InspectPredicate(Term, Term, Iterator<ClauseModel>) - Constructor for class org.projog.core.predicate.builtin.kb.Inspect.InspectPredicate

instantiate(String) - Static method in class org.projog.core.kb.KnowledgeBaseUtils

instantiate(KnowledgeBase, String) - Static method in class org.projog.core.kb.KnowledgeBaseUtils

Returns a new object created using reflection.

instantiateArithmeticOperator(String) - Method in class org.projog.core.math.ArithmeticOperators

instantiateArithmeticOperator(PredicateKey) - Method in class org.projog.core.math.ArithmeticOperators

instantiateExpressionFactory(String) - Method in class org.projog.core.predicate.builtin.clp.ExpressionFactories

instantiateExpressionFactory(PredicateKey) - Method in class org.projog.core.predicate.builtin.clp.ExpressionFactories

instantiatePredicateFactory() - Method in class org.projog.core.predicate.UnknownPredicate

instantiatePredicateFactory(String) - Method in class org.projog.core.predicate.Predicates

instantiatePredicateFactory(PredicateKey) - Method in class org.projog.core.predicate.Predicates

INTEGER - org.projog.core.parser.TokenType

INTEGER - org.projog.core.term.TermType

IntegerDivide - Class in org.projog.core.math.builtin

// - performs integer division.

IntegerDivide() - Constructor for class org.projog.core.math.builtin.IntegerDivide

IntegerNumber - Class in org.projog.core.term

Represents a value of the primitive type long as a Term.

IntegerNumber(long) - Constructor for class org.projog.core.term.IntegerNumber

IntegerNumberCache - Class in org.projog.core.term

IntegerNumberCache() - Constructor for class org.projog.core.term.IntegerNumberCache

InterpretedTailRecursivePredicate - Class in org.projog.core.predicate.udp

A implementation of TailRecursivePredicate for interpreted user defined predicates.

InterpretedTailRecursivePredicate(SpyPoints.SpyPoint, Term[], PredicateFactory[], Term[], Term[], PredicateFactory[], Term[], Term[], boolean) - Constructor for class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

InterpretedTailRecursivePredicateFactory - Class in org.projog.core.predicate.udp

Creates "tail recursion optimised" versions of user defined predicates.

InterpretedTailRecursivePredicateFactory(KnowledgeBase, TailRecursivePredicateMetaData) - Constructor for class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

InterpretedUserDefinedPredicate - Class in org.projog.core.predicate.udp

Represents a user defined predicate.

InterpretedUserDefinedPredicate(Iterator<ClauseAction>, SpyPoints.SpyPoint, Term[]) - Constructor for class org.projog.core.predicate.udp.InterpretedUserDefinedPredicate

intsToStrings(int...) - Static method in class org.projog.core.predicate.builtin.classify.CharType

invoked - Variable in class org.projog.api.QueryStatement

Is - Class in org.projog.core.predicate.builtin.compare

X is Y - evaluate arithmetic expression.

Is() - Constructor for class org.projog.core.predicate.builtin.compare.Is

Is.PreprocessedIs - Class in org.projog.core.predicate.builtin.compare

Is.Unify - Class in org.projog.core.predicate.builtin.compare

isAlwaysCutOnBacktrack() - Method in class org.projog.core.predicate.builtin.compound.Conjunction.OptimisedRetryableConjuction

isAlwaysCutOnBacktrack() - Method in class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedIfThenElse

isAlwaysCutOnBacktrack() - Method in class org.projog.core.predicate.builtin.flow.Cut

isAlwaysCutOnBacktrack() - Method in interface org.projog.core.predicate.PredicateFactory

Will attempting to re-evaluate this implementation always result in a cut?

isAlwaysCutOnBacktrack() - Method in interface org.projog.core.predicate.udp.ClauseAction

isAlwaysCutOnBacktrack() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.AlwaysMatchedFact

isAlwaysCutOnBacktrack() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableConsequentRule

isAlwaysCutOnBacktrack() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableFact

isAlwaysCutOnBacktrack() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.MutableFact

isAlwaysCutOnBacktrack() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.MutableRule

isAlwaysCutOnBacktrack() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.VariableAntecedantClauseAction

isAlwaysCutOnBacktrack() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ZeroArgConsequentRule

isAnonymous() - Method in class org.projog.core.term.Variable

isAnonymousVariable(Term) - Static method in class org.projog.core.predicate.udp.Clauses

isAntecedentRecursive(KnowledgeBase, ClauseModel) - Static method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

isArgumentSeperator(Token) - Static method in class org.projog.core.parser.Delimiters

isAtom(Term) - Method in class org.projog.core.predicate.builtin.construct.AtomConcat

IsAtom - Class in org.projog.core.predicate.builtin.classify

atom(X) - checks that a term is an atom.

IsAtom() - Constructor for class org.projog.core.predicate.builtin.classify.IsAtom

IsAtomic - Class in org.projog.core.predicate.builtin.classify

atomic(X) - checks that a term is atomic.

IsAtomic() - Constructor for class org.projog.core.predicate.builtin.classify.IsAtomic

isAtomOrStructure(Term) - Static method in class org.projog.core.predicate.builtin.list.PartialApplicationUtils

isClausesRetryable(ClauseAction[]) - Static method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

Returns true if clauses could return more than one result.

IsCompound - Class in org.projog.core.predicate.builtin.classify

compound(X) - checks that a term is a compound term.

IsCompound() - Constructor for class org.projog.core.predicate.builtin.classify.IsCompound

isConjunction(Term) - Static method in class org.projog.core.kb.KnowledgeBaseUtils

Returns true if the specified Term represent a conjunction, else false.

isCyclic() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

Return true if this predicate calls a predicate that in turns calls this predicate.

isCyclic(Term) - Method in class org.projog.core.predicate.builtin.compare.UnifyWithOccursCheck

isCyclic(Term, Set<Term>) - Method in class org.projog.core.predicate.builtin.compare.UnifyWithOccursCheck

isDCG(Term) - Static method in class org.projog.core.predicate.udp.DefiniteClauseGrammerConvertor

isDefined(String) - Method in class org.projog.core.parser.Operands

Returns true if commandName represents any known operator, else false.

isDelimiter(int) - Static method in class org.projog.core.parser.Delimiters

isDelimiter(String) - Static method in class org.projog.core.parser.Delimiters

isDynamic() - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

isDynamic() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

isDynamic() - Method in interface org.projog.core.predicate.udp.UserDefinedPredicateFactory

Returns true is this predicate is dynamic.

isEmpty() - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

isEnabled() - Method in class org.projog.core.event.SpyPoints.SpyPoint

isEndOfStream(int) - Static method in class org.projog.core.parser.TokenParser

isEscapeSequencePrefix(int) - Static method in class org.projog.core.parser.TokenParser

isExhausted() - Method in class org.projog.api.QueryResult

Returns true if it is known that all possible solutions have been found, else false.

isExistingJavaPredicate(PredicateKey) - Method in class org.projog.core.predicate.Predicates

isExistingPredicate(PredicateKey) - Method in class org.projog.core.predicate.Predicates

isExistingUserDefinedPredicate(PredicateKey) - Method in class org.projog.core.predicate.Predicates

isFact() - Method in class org.projog.core.predicate.udp.ClauseModel

IsFloat - Class in org.projog.core.predicate.builtin.classify

float(X) - checks that a term is a floating point number.

IsFloat() - Constructor for class org.projog.core.predicate.builtin.classify.IsFloat

isFollowedByTerm() - Method in class org.projog.core.parser.TokenParser

Does the next value to be parsed represent a term (rather than a delimiter)

isHandle(String) - Method in class org.projog.core.io.FileHandles

isImmediatelyFollowedByBracket(boolean) - Method in class org.projog.core.parser.TokenParser

isImmutable() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

isImmutable() - Method in class org.projog.core.term.Atom

isImmutable() - Method in class org.projog.core.term.DecimalFraction

isImmutable() - Method in class org.projog.core.term.EmptyList

isImmutable() - Method in class org.projog.core.term.IntegerNumber

isImmutable() - Method in class org.projog.core.term.List

isImmutable() - Method in class org.projog.core.term.Structure

isImmutable() - Method in interface org.projog.core.term.Term

Returns true is this term is immutable.

isImmutable() - Method in class org.projog.core.term.Variable

Always returns false even if instantiated with an immutable Term.

isImmutable(Term[]) - Static method in class org.projog.core.term.Structure

isInfixOperator(Term) - Method in class org.projog.core.term.TermFormatter

IsInteger - Class in org.projog.core.predicate.builtin.classify

integer(X) - checks that a term is an integer.

IsInteger() - Constructor for class org.projog.core.predicate.builtin.classify.IsInteger

isKeyValuePair(Term) - Static method in class org.projog.core.predicate.builtin.list.PartialApplicationUtils

isList(Term) - Static method in class org.projog.core.predicate.builtin.list.PartialApplicationUtils

isList(TermType) - Method in class org.projog.core.predicate.builtin.construct.Univ

IsList - Class in org.projog.core.predicate.builtin.classify

is_list(X) - checks that a term is a list.

IsList() - Constructor for class org.projog.core.predicate.builtin.classify.IsList

isListCloseBracket(Token) - Static method in class org.projog.core.parser.Delimiters

isListOpenBracket(int) - Static method in class org.projog.core.parser.Delimiters

isListOpenBracket(Token) - Static method in class org.projog.core.parser.Delimiters

isListTail(Token) - Static method in class org.projog.core.parser.Delimiters

isMatch(Token, char) - Static method in class org.projog.core.parser.Delimiters

isMatch(ClauseAction, Term[]) - Static method in class org.projog.core.predicate.udp.ClauseActionFactory

Returns true if the arguments unify with the consequent of the clause.

isMember(Term, Term) - Static method in class org.projog.core.term.ListUtils

Checks is a term can be unified with at least one element of a list.

isMultiLineCommentEnd(int, int) - Static method in class org.projog.core.parser.TokenParser

isMultiLineCommentStart(int, int) - Static method in class org.projog.core.parser.TokenParser

IsNonVar - Class in org.projog.core.predicate.builtin.classify

nonvar(X) - checks that a term is not an uninstantiated variable.

IsNonVar() - Constructor for class org.projog.core.predicate.builtin.classify.IsNonVar

isNotEmpty(String) - Static method in class org.projog.tools.ProjogConsole

isNotList(Term) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

isNumber(int) - Method in class org.projog.core.predicate.builtin.io.Writef

IsNumber - Class in org.projog.core.predicate.builtin.classify

number(X) - checks that a term is numeric.

IsNumber() - Constructor for class org.projog.core.predicate.builtin.classify.IsNumber

isNumeric - Variable in enum org.projog.core.term.TermType

isNumeric() - Method in enum org.projog.core.term.TermType

isPossibleOperand() - Method in enum org.projog.core.parser.TokenType

isPostfixOperator(Term) - Method in class org.projog.core.term.TermFormatter

isPotentialSingleResult - Variable in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

isPotentialSingleResult() - Method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

isPredicateCloseBracket(Token) - Static method in class org.projog.core.parser.Delimiters

isPredicateOpenBracket(Token) - Static method in class org.projog.core.parser.Delimiters

isPrefixOperator(Term) - Method in class org.projog.core.term.TermFormatter

isPure() - Method in class org.projog.core.math.AbstractArithmeticOperator

Indicates if this operator is pure and so can be preprocessed.

isPure() - Method in class org.projog.core.math.builtin.Random

Random is not pure.

isQuestionOrDirectiveFunctionCall(Term) - Static method in class org.projog.core.kb.KnowledgeBaseUtils

Returns true if the specified Term represents a question or directive, else false.

isQuote(int) - Static method in class org.projog.core.parser.TokenParser

isRetryable - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

isRetryable() - Method in class org.projog.core.predicate.AbstractPredicateFactory

isRetryable() - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

isRetryable() - Method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

isRetryable() - Method in class org.projog.core.predicate.builtin.compare.PredSort.PreprocessedPredSort

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.BagOf.PreprocessedBagOf

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.Call

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedDisjunction

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedIfThenElse

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.FindAll.PreprocessedFindAll

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.IfThen.OptimisedIfThen

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.Limit.OptimisedLimit

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.SetOf.PreprocessedSetOf

isRetryable() - Method in class org.projog.core.predicate.builtin.list.Fold.OptimisedFold

isRetryable() - Method in class org.projog.core.predicate.builtin.list.Last

isRetryable() - Method in class org.projog.core.predicate.builtin.list.MapList

isRetryable() - Method in class org.projog.core.predicate.builtin.list.MapList.PreprocessedMapList

isRetryable() - Method in class org.projog.core.predicate.builtin.list.SubList.PreprocessedSubList

isRetryable() - Method in interface org.projog.core.predicate.PredicateFactory

Should instances of this implementation be re-evaluated when backtracking?

isRetryable() - Method in interface org.projog.core.predicate.udp.ClauseAction

isRetryable() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.AlwaysMatchedFact

isRetryable() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableConsequentRule

isRetryable() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableFact

isRetryable() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.MutableFact

isRetryable() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.MutableRule

isRetryable() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.VariableAntecedantClauseAction

isRetryable() - Method in class org.projog.core.predicate.udp.ClauseActionFactory.ZeroArgConsequentRule

isRetryable() - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

isRetryable() - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

isRetryable() - Method in class org.projog.core.predicate.udp.NeverSucceedsPredicateFactory

isRetryable() - Method in class org.projog.core.predicate.udp.SingleNonRetryableRulePredicateFactory

isRetryable() - Method in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory

isRetryable() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.IndexablePredicateFactory

isRetryable() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

isRetryable() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory

isRetryable() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory

isRetryable() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory

isRetryable() - Method in class org.projog.core.predicate.UnknownPredicate

isRetryable(Term[]) - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

isSentenceTerminator(Token) - Static method in class org.projog.core.parser.Delimiters

isSet() - Method in class org.projog.core.event.SpyPoints.SpyPoint

isSingleAnswer(KnowledgeBase, Term) - Static method in class org.projog.core.kb.KnowledgeBaseUtils

Returns true if the predicate represented by the specified Term never succeeds on re-evaluation.

isSingleLineComment(int) - Static method in class org.projog.core.parser.TokenParser

isSingleResultIfArgumentImmutable - Variable in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

isSingleResultIfArgumentImmutable(int) - Method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

isSpyPointEnabled - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

isSpyPointEnabled - Variable in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory.RetryableRulePredicate

isStructure - Variable in enum org.projog.core.term.TermType

isStructure() - Method in enum org.projog.core.term.TermType

isTail(Term, Term) - Static method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

isTailRecursive(KnowledgeBase, List<ClauseModel>) - Static method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

isTailRecursiveArgument - Variable in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

isTailRecursiveArgument(int) - Method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

isTailVariable - Variable in class org.projog.core.predicate.builtin.list.Member.MemberPredicate

isUnderscore(int) - Static method in class org.projog.core.parser.TokenParser

isUnified(Term, Term) - Method in class org.projog.core.predicate.builtin.list.SubtractFromList

isValidArguments(Term, Term) - Method in class org.projog.core.predicate.builtin.list.SubList

isValidConcreteFirstArgument(Term) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

isValidForAtom(int) - Static method in class org.projog.core.parser.TokenParser

isValidParseableElement(String) - Method in class org.projog.core.parser.TokenParser

IsVar - Class in org.projog.core.predicate.builtin.classify

var(X) - checks that a term is an uninstantiated variable.

IsVar() - Constructor for class org.projog.core.predicate.builtin.classify.IsVar

isVariable - Variable in enum org.projog.core.term.TermType

isVariable() - Method in enum org.projog.core.term.TermType

isVariable(int) - Static method in class org.projog.core.parser.TokenParser

isZero(int) - Static method in class org.projog.core.parser.TokenParser

iterator - Variable in class org.projog.core.predicate.builtin.kb.CurrentPredicate.Retryable

iterator - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.ImplicationsIterator

itr - Variable in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

itr - Variable in class org.projog.core.predicate.builtin.db.Recorded.RecordedPredicate

J

javaList - Variable in class org.projog.core.predicate.builtin.list.MemberCheck.PreprocessedMemberCheck

javaPredicateClassNames - Variable in class org.projog.core.predicate.Predicates

The class names of "built-in" Java predicates (i.e.

javaPredicateInstances - Variable in class org.projog.core.predicate.Predicates

The instances of "built-in" Java predicates (i.e.

join(Term, Term) - Method in class org.projog.core.predicate.builtin.reif.Dif.DifVariableAttribute

join(Term, Term) - Method in interface org.projog.core.term.VariableAttribute

K

kb - Variable in class org.projog.api.Projog

kb - Variable in class org.projog.core.event.SpyPoints

kb - Variable in class org.projog.core.kb.KnowledgeBaseServiceLocator

kb - Variable in class org.projog.core.math.ArithmeticOperators

kb - Variable in class org.projog.core.parser.ProjogSourceReader

kb - Variable in class org.projog.core.predicate.builtin.clp.ExpressionFactories

kb - Variable in class org.projog.core.predicate.Predicates

kb - Variable in class org.projog.core.predicate.udp.ClauseActionFactory.VariableAntecedantClauseAction

kb - Variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

kb - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

kb - Variable in class org.projog.core.predicate.UnknownPredicate

key - Variable in class org.projog.api.ProjogStackTraceElement

key - Variable in class org.projog.core.event.SpyPoints.SpyPoint

key - Variable in class org.projog.core.event.SpyPoints.SpyPointEvent

key - Variable in class org.projog.core.predicate.builtin.db.Record

key - Variable in class org.projog.core.predicate.builtin.db.Recorded.RecordedPredicate

key - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.Chain

key - Variable in class org.projog.core.predicate.builtin.kb.AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator

key - Variable in class org.projog.core.predicate.UnknownPredicate

Key(List<Variable>) - Constructor for class org.projog.core.predicate.builtin.compound.AbstractCollectionOf.Key

KEY_VALUE_PAIR_COMPARATOR - Static variable in class org.projog.core.predicate.builtin.list.KeySort

KEY_VALUE_PAIR_FUNCTOR - Static variable in class org.projog.core.predicate.builtin.list.PartialApplicationUtils

Key2(Term, Term) - Constructor for class org.projog.core.predicate.udp.KeyFactories.Key2

Key3(Term, Term, Term) - Constructor for class org.projog.core.predicate.udp.KeyFactories.Key3

KeyFactories - Class in org.projog.core.predicate.udp

KeyFactories() - Constructor for class org.projog.core.predicate.udp.KeyFactories

KeyFactories.Key2 - Class in org.projog.core.predicate.udp

KeyFactories.Key3 - Class in org.projog.core.predicate.udp

KeyFactories.KeyFactory - Interface in org.projog.core.predicate.udp

KeyFactories.KeyFactory1 - Class in org.projog.core.predicate.udp

KeyFactories.KeyFactory2 - Class in org.projog.core.predicate.udp

KeyFactories.KeyFactory3 - Class in org.projog.core.predicate.udp

keyFactory - Variable in class org.projog.core.predicate.udp.Index

KeyFactory1() - Constructor for class org.projog.core.predicate.udp.KeyFactories.KeyFactory1

KeyFactory2() - Constructor for class org.projog.core.predicate.udp.KeyFactories.KeyFactory2

KeyFactory3() - Constructor for class org.projog.core.predicate.udp.KeyFactories.KeyFactory3

keyIdx - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.DatabaseIterator

keys - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase

keys() - Static method in class org.projog.core.predicate.builtin.list.PairsElements

keySet() - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

KeySort - Class in org.projog.core.predicate.builtin.list

keysort(X,Y) - sorts a list of key/value pairs.

KeySort() - Constructor for class org.projog.core.predicate.builtin.list.KeySort

knowledgeBase - Variable in class org.projog.core.predicate.AbstractPredicateFactory

knowledgeBase - Variable in class org.projog.core.predicate.AbstractSingleResultPredicate

knowledgeBase - Variable in class org.projog.core.predicate.builtin.compound.Call

KnowledgeBase - Class in org.projog.core.kb

The central object that connects the various components of an instance of the "core" inference engine.

KnowledgeBase(ProjogProperties) - Constructor for class org.projog.core.kb.KnowledgeBase

KnowledgeBaseConsumer - Interface in org.projog.core.kb

KnowledgeBaseServiceLocator - Class in org.projog.core.kb

Associates arbitrary objects with a KnowledgeBase.

KnowledgeBaseServiceLocator(KnowledgeBase) - Constructor for class org.projog.core.kb.KnowledgeBaseServiceLocator

KnowledgeBaseUtils - Class in org.projog.core.kb

Helper methods for performing common tasks on KnowledgeBase instances.

KnowledgeBaseUtils() - Constructor for class org.projog.core.kb.KnowledgeBaseUtils

Private constructor as all methods are static.

L

last - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.Chain

last - Variable in class org.projog.core.predicate.builtin.list.Last.LastPredicate

Last - Class in org.projog.core.predicate.builtin.list

last(X,Y) - finds the last element of a list.

Last() - Constructor for class org.projog.core.predicate.builtin.list.Last

LAST - Static variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

Last.LastPredicate - Class in org.projog.core.predicate.builtin.list

lastParsedToken - Variable in class org.projog.core.parser.TokenParser

LastPredicate(Term, Term, Term) - Constructor for class org.projog.core.predicate.builtin.list.Last.LastPredicate

leftImpliesRight() - Static method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

length - Variable in class org.projog.core.predicate.builtin.list.Length.Retryable

Length - Class in org.projog.core.predicate.builtin.list

length(X,Y) - determines the length of a list.

Length() - Constructor for class org.projog.core.predicate.builtin.list.Length

Length.Retryable - Class in org.projog.core.predicate.builtin.list

lessThan() - Static method in class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

lessThanOrEqualTo() - Static method in class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

limit - Variable in class org.projog.core.predicate.builtin.compound.Limit.LimitPredicate

limit - Variable in class org.projog.core.predicate.builtin.flow.RepeatSetAmount.RepeatSetAmountPredicate

Limit - Class in org.projog.core.predicate.builtin.compound

limit(N, X) - calls the goal represented by a term a maximum number of times.

Limit() - Constructor for class org.projog.core.predicate.builtin.compound.Limit

Limit.LimitPredicate - Class in org.projog.core.predicate.builtin.compound

Limit.OptimisedLimit - Class in org.projog.core.predicate.builtin.compound

LimitPredicate(Predicate, long) - Constructor for class org.projog.core.predicate.builtin.compound.Limit.LimitPredicate

line - Variable in exception org.projog.core.parser.ParserException

lineNumber - Variable in class org.projog.core.parser.CharacterParser

The line number of the current line being parsed.

lineNumber - Variable in exception org.projog.core.parser.ParserException

Link(RecordedDatabase.Chain, IntegerNumber, Term) - Constructor for class org.projog.core.predicate.builtin.db.RecordedDatabase.Link

LinkedHashMapPredicateFactory(Clauses) - Constructor for class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory

list - Variable in class org.projog.core.predicate.builtin.list.Length.Retryable

list - Variable in class org.projog.core.predicate.builtin.list.Nth.Retryable

List - Class in org.projog.core.term

Represents a data structure with two Terms - a head and a tail.

List(Term, Term) - Constructor for class org.projog.core.term.List

Creates a new list with the specified head and tail.

LIST - org.projog.core.parser.TokenType

LIST - org.projog.core.term.TermType

LIST_CLOSING_BRACKET - Static variable in class org.projog.core.parser.Delimiters

LIST_OPENING_BRACKET - Static variable in class org.projog.core.parser.Delimiters

LIST_PREDICATE_NAME - Static variable in class org.projog.core.term.ListFactory

A "." is the functor name for all lists in Prolog.

LIST_TAIL - Static variable in class org.projog.core.parser.Delimiters

listClause(ClauseModel) - Method in class org.projog.core.predicate.builtin.kb.Listing

listClauses(PredicateKey) - Method in class org.projog.core.predicate.builtin.kb.Listing

listeners - Variable in class org.projog.core.event.ProjogListeners

ListFactory - Class in org.projog.core.term

Static factory methods for creating new instances of List.

ListFactory() - Constructor for class org.projog.core.term.ListFactory

Private constructor as all methods are static.

Listing - Class in org.projog.core.predicate.builtin.kb

listing(X) - outputs current clauses.

Listing() - Constructor for class org.projog.core.predicate.builtin.kb.Listing

lists - Variable in class org.projog.core.predicate.builtin.list.MapList.Retryable

ListUtils - Class in org.projog.core.term

Helper methods for performing common tasks with Prolog list data structures.

ListUtils() - Constructor for class org.projog.core.term.ListUtils

Private constructor as all methods are static.

loadedResources - Variable in class org.projog.core.predicate.builtin.kb.EnsureLoaded

location - Variable in enum org.projog.core.parser.Operands.Associativity

Location() - Constructor for enum org.projog.core.parser.Operands.Location

lock - Variable in class org.projog.core.event.SpyPoints

lock - Variable in class org.projog.core.io.FileHandles

lock - Variable in class org.projog.core.math.ArithmeticOperators

lock - Variable in class org.projog.core.predicate.builtin.clp.ExpressionFactories

lock - Variable in class org.projog.core.predicate.builtin.kb.EnsureLoaded

lock - Variable in class org.projog.core.predicate.udp.Indexes

lock - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

LOCK - Variable in class org.projog.core.parser.Operands

LOCK - Variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

log(String) - Method in class org.projog.core.event.LoggingProjogListener

log(String, SpyPoints.SpyPointEvent) - Method in class org.projog.core.event.LoggingProjogListener

logCall() - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

logCall() - Method in class org.projog.core.predicate.udp.TailRecursivePredicate

logCall(Object, Term[]) - Method in class org.projog.core.event.SpyPoints.SpyPoint

Notifies listeners of a first attempt to evaluate a goal.

logExit() - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

logExit() - Method in class org.projog.core.predicate.udp.TailRecursivePredicate

logExit(Object, Term[], int) - Method in class org.projog.core.event.SpyPoints.SpyPoint

Deprecated.

logExit(Object, Term[], ClauseModel) - Method in class org.projog.core.event.SpyPoints.SpyPoint

Notifies listeners of that an attempt to evaluate a goal has succeeded.

logFail() - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

logFail() - Method in class org.projog.core.predicate.udp.TailRecursivePredicate

logFail(Object, Term[]) - Method in class org.projog.core.event.SpyPoints.SpyPoint

Notifies listeners of that an attempt to evaluate a goal has failed.

LoggingProjogListener - Class in org.projog.core.event

LoggingProjogListener(PrintStream) - Constructor for class org.projog.core.event.LoggingProjogListener

logRedo() - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

logRedo() - Method in class org.projog.core.predicate.udp.TailRecursivePredicate

logRedo(Object, Term[]) - Method in class org.projog.core.event.SpyPoints.SpyPoint

Notifies listeners of an attempt to re-evaluate a goal.

M

main(String[]) - Static method in class org.projog.tools.ProjogConsole

map - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory

MapList - Class in org.projog.core.predicate.builtin.list

maplist(X,Y) / maplist(X,Y,Z) - determines if a goal succeeds against elements of a list.

MapList() - Constructor for class org.projog.core.predicate.builtin.list.MapList

MapList.PreprocessedMapList - Class in org.projog.core.predicate.builtin.list

MapList.Retryable - Class in org.projog.core.predicate.builtin.list

masterData - Variable in class org.projog.core.predicate.udp.Indexes

matched - Variable in class org.projog.core.predicate.builtin.clp.CoreConstraintStore

matchFirstRule() - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

matchFirstRule() - Method in class org.projog.core.predicate.udp.TailRecursivePredicate

Match the first rule of the tail recursive predicate.

matchSecondRule() - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

matchSecondRule() - Method in class org.projog.core.predicate.udp.TailRecursivePredicate

Match the second rule of the tail recursive predicate.

max - Variable in class org.projog.core.predicate.builtin.compare.Between.Retryable

Max - Class in org.projog.core.math.builtin

max - finds the maximum of two numbers.

Max() - Constructor for class org.projog.core.math.builtin.Max

MAX_ARGUMENTS_PER_INDEX - Static variable in class org.projog.core.predicate.udp.KeyFactories

MAX_CACHED_VALUE - Static variable in class org.projog.core.term.IntegerNumberCache

MAX_INDEXABLE_ARGS - Static variable in class org.projog.core.predicate.udp.Indexes

Maximum number of arguments of a clause that will be considered indexable.

maximum() - Static method in class org.projog.core.predicate.builtin.clp.CommonExpression

maxList() - Static method in class org.projog.core.predicate.builtin.list.ExtremumList

Member - Class in org.projog.core.predicate.builtin.list

member(E, L) - enumerates members of a list.

Member() - Constructor for class org.projog.core.predicate.builtin.list.Member

Member.MemberPredicate - Class in org.projog.core.predicate.builtin.list

MemberCheck - Class in org.projog.core.predicate.builtin.list

memberchk(E, L) - checks is a term is a member of a list.

MemberCheck() - Constructor for class org.projog.core.predicate.builtin.list.MemberCheck

MemberCheck.PreprocessedMemberCheck - Class in org.projog.core.predicate.builtin.list

MemberPredicate(Term, Term) - Constructor for class org.projog.core.predicate.builtin.list.Member.MemberPredicate

message - Variable in exception org.projog.core.parser.ParserException

metaData - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

middle - Variable in class org.projog.core.predicate.builtin.compare.Between.Retryable

Min - Class in org.projog.core.math.builtin

min - finds the minimum of two numbers.

Min() - Constructor for class org.projog.core.math.builtin.Min

MIN_CACHED_VALUE - Static variable in class org.projog.core.term.IntegerNumberCache

minimum() - Static method in class org.projog.core.predicate.builtin.clp.CommonExpression

minList() - Static method in class org.projog.core.predicate.builtin.list.ExtremumList

minus() - Static method in class org.projog.core.predicate.builtin.clp.CommonExpression

Minus - Class in org.projog.core.math.builtin

- - minus operator.

Minus() - Constructor for class org.projog.core.math.builtin.Minus

model - Variable in class org.projog.core.predicate.udp.ClauseActionFactory.AlwaysMatchedFact

model - Variable in class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableConsequentRule

model - Variable in class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableFact

model - Variable in class org.projog.core.predicate.udp.ClauseActionFactory.MutableFact

model - Variable in class org.projog.core.predicate.udp.ClauseActionFactory.MutableRule

model - Variable in class org.projog.core.predicate.udp.ClauseActionFactory.VariableAntecedantClauseAction

model - Variable in class org.projog.core.predicate.udp.ClauseActionFactory.ZeroArgConsequentRule

Modulo - Class in org.projog.core.math.builtin

mod - finds the remainder of division of one number by another.

Modulo() - Constructor for class org.projog.core.math.builtin.Modulo

multiply() - Static method in class org.projog.core.predicate.builtin.clp.CommonExpression

Multiply - Class in org.projog.core.math.builtin

* - performs multiplication.

Multiply() - Constructor for class org.projog.core.math.builtin.Multiply

MutableFact(ClauseModel) - Constructor for class org.projog.core.predicate.udp.ClauseActionFactory.MutableFact

MutableRule(ClauseModel, PredicateFactory) - Constructor for class org.projog.core.predicate.udp.ClauseActionFactory.MutableRule

MyMap() - Constructor for class org.projog.core.predicate.builtin.reif.Dif.MyMap

N

n - Variable in class org.projog.core.predicate.builtin.compare.Is.Unify

name - Variable in class org.projog.core.predicate.PredicateKey

NAMED_BRACKET - org.projog.core.parser.TokenType

NeverSucceedsPredicateFactory - Class in org.projog.core.predicate.udp

NeverSucceedsPredicateFactory(SpyPoints.SpyPoint) - Constructor for class org.projog.core.predicate.udp.NeverSucceedsPredicateFactory

newHead - Variable in class org.projog.core.predicate.builtin.list.Last.LastPredicate

newInstance(Class<?>) - Method in class org.projog.core.kb.KnowledgeBaseServiceLocator

Returns a new instance of the specified class.

NewLine - Class in org.projog.core.predicate.builtin.io

nl - outputs a new line character.

NewLine() - Constructor for class org.projog.core.predicate.builtin.io.NewLine

newParserException(String) - Method in class org.projog.core.parser.SentenceParser

Returns a new ParserException with the specified message.

newParserException(String) - Method in class org.projog.core.parser.TokenParser

Returns a new ParserException with the specified message.

next - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.Link

next - Variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ClauseActionIterator

next - Variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ClauseActionMetaData

next() - Method in class org.projog.api.QueryResult

Attempts to evaluate the query this object represents.

next() - Method in class org.projog.core.parser.TokenParser

Parse and return the next Token.

next() - Method in class org.projog.core.predicate.builtin.classify.CharType.State

next() - Method in class org.projog.core.predicate.builtin.clp.Resolve.ClpResolvePredicate

next() - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase.ChainIterator

next() - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase.DatabaseIterator

next() - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ClauseActionIterator

need to call getFree on result

next() - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ImplicationsIterator

Returns a new copy to avoid the original being altered.

next() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.ActionIterator

next() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.ImplicationsIterator

Returns a new copy to avoid the original being altered.

nextArg() - Method in class org.projog.core.predicate.builtin.io.Writef.Formatter

NO_MATCHES - Static variable in class org.projog.core.predicate.udp.Index

NoDebug - Class in org.projog.core.predicate.builtin.debug

nodebug - removes all current spy points.

NoDebug() - Constructor for class org.projog.core.predicate.builtin.debug.NoDebug

noSolutionFound() - Method in class org.projog.api.QueryStatement

noSpy() - Static method in class org.projog.core.predicate.builtin.debug.AlterSpyPoint

not() - Static method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

Not - Class in org.projog.core.predicate.builtin.compound

\+ X - "not".

Not() - Constructor for class org.projog.core.predicate.builtin.compound.Not

Not.OptimisedNot - Class in org.projog.core.predicate.builtin.compound

notEqualTo() - Static method in class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

notifyCall(SpyPoints.SpyPointEvent) - Method in class org.projog.core.event.ProjogListeners

Notify all listeners of a first attempt to evaluate a goal.

notifyExit(SpyPoints.SpyPointExitEvent) - Method in class org.projog.core.event.ProjogListeners

Notify all listeners when an attempt to evaluate a goal succeeds.

notifyFail(SpyPoints.SpyPointEvent) - Method in class org.projog.core.event.ProjogListeners

Notify all listeners when an attempt to evaluate a goal fails.

notifyInfo(String) - Method in class org.projog.core.event.ProjogListeners

Notify all listeners of a general information event.

notifyReadingFromClasspath(KnowledgeBase, String) - Static method in class org.projog.core.parser.ProjogSourceReader

notifyReadingFromFileSystem(KnowledgeBase, File) - Static method in class org.projog.core.parser.ProjogSourceReader

notifyRedo(SpyPoints.SpyPointEvent) - Method in class org.projog.core.event.ProjogListeners

Notify all listeners of an attempt to re-evaluate a goal.

notifyWarn(String) - Method in class org.projog.core.event.ProjogListeners

Notify all listeners of a warning.

NotIndexablePredicateFactory(Clauses) - Constructor for class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory

NoTrace - Class in org.projog.core.predicate.builtin.debug

notrace - disables exhaustive tracing.

NoTrace() - Constructor for class org.projog.core.predicate.builtin.debug.NoTrace

NotStrictEquality - Class in org.projog.core.predicate.builtin.compare

X\==Y - a strict equality test.

NotStrictEquality() - Constructor for class org.projog.core.predicate.builtin.compare.NotStrictEquality

NotUnifiable - Class in org.projog.core.predicate.builtin.compare

X \= Y - checks whether two terms cannot be unified.

NotUnifiable() - Constructor for class org.projog.core.predicate.builtin.compare.NotUnifiable

Nth - Class in org.projog.core.predicate.builtin.list

nth0(X,Y,Z) / nth1(X,Y,Z) - examines an element of a list.

Nth(int) - Constructor for class org.projog.core.predicate.builtin.list.Nth

Nth.Retryable - Class in org.projog.core.predicate.builtin.list

nth0() - Static method in class org.projog.core.predicate.builtin.list.Nth

nth1() - Static method in class org.projog.core.predicate.builtin.list.Nth

numArgs - Variable in class org.projog.core.predicate.builtin.kb.AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator

numArgs - Variable in class org.projog.core.predicate.PredicateKey

numArgs - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

numberChars() - Static method in class org.projog.core.predicate.builtin.construct.TermSplit

numberCodes() - Static method in class org.projog.core.predicate.builtin.construct.TermSplit

numberVars(Term, long) - Method in class org.projog.core.predicate.builtin.construct.NumberVars

NumberVars - Class in org.projog.core.predicate.builtin.construct

numbervars(Term,Start,End) - unifies free variables of a term.

NumberVars() - Constructor for class org.projog.core.predicate.builtin.construct.NumberVars

Numeric - Interface in org.projog.core.math

A Term that has a numerical value.

NUMERIC_TERM_COMPARATOR - Static variable in class org.projog.core.math.NumericTermComparator

Singleton instance

NumericConstraintPredicate - Class in org.projog.core.predicate.builtin.clp

CLP predicates for comparing numeric values.

NumericConstraintPredicate(BiFunction<Expression, Expression, Constraint>) - Constructor for class org.projog.core.predicate.builtin.clp.NumericConstraintPredicate

NumericEquality - Class in org.projog.core.predicate.builtin.compare

X=:=Y - numeric equality test.

NumericEquality() - Constructor for class org.projog.core.predicate.builtin.compare.NumericEquality

NumericGreaterThan - Class in org.projog.core.predicate.builtin.compare

X>Y - numeric "greater than" test.

NumericGreaterThan() - Constructor for class org.projog.core.predicate.builtin.compare.NumericGreaterThan

NumericGreaterThanOrEqual - Class in org.projog.core.predicate.builtin.compare

X>=Y - numeric "greater than or equal" test.

NumericGreaterThanOrEqual() - Constructor for class org.projog.core.predicate.builtin.compare.NumericGreaterThanOrEqual

NumericInequality - Class in org.projog.core.predicate.builtin.compare

X=\=Y - numeric inequality test.

NumericInequality() - Constructor for class org.projog.core.predicate.builtin.compare.NumericInequality

NumericLessThan - Class in org.projog.core.predicate.builtin.compare

X<Y - numeric "less than" test.

NumericLessThan() - Constructor for class org.projog.core.predicate.builtin.compare.NumericLessThan

NumericLessThanOrEqual - Class in org.projog.core.predicate.builtin.compare

X=<Y - numeric "less than or equal" test.

NumericLessThanOrEqual() - Constructor for class org.projog.core.predicate.builtin.compare.NumericLessThanOrEqual

NumericTermComparator - Class in org.projog.core.math

Provides methods for comparing instances of Numeric.

NumericTermComparator() - Constructor for class org.projog.core.math.NumericTermComparator

Private constructor to force use of NumericTermComparator.NUMERIC_TERM_COMPARATOR

numericToChar(long) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

numIndexableArgs - Variable in class org.projog.core.predicate.udp.Indexes

O

o - Variable in class org.projog.core.math.AbstractArithmeticOperator.PreprocessedUnaryOperator

o - Variable in class org.projog.core.predicate.builtin.compare.Is.PreprocessedIs

o1 - Variable in class org.projog.core.math.AbstractArithmeticOperator.PreprocessedBinaryOperator

o2 - Variable in class org.projog.core.math.AbstractArithmeticOperator.PreprocessedBinaryOperator

OFFSET - Static variable in class org.projog.core.term.IntegerNumberCache

onCall(SpyPoints.SpyPointEvent) - Method in class org.projog.core.event.LoggingProjogListener

onCall(SpyPoints.SpyPointEvent) - Method in interface org.projog.core.event.ProjogListener

The event generated when an attempt is first made to evaluate a goal.

Once - Class in org.projog.core.predicate.builtin.compound

once(X) - calls the goal represented by a term.

Once() - Constructor for class org.projog.core.predicate.builtin.compound.Once

Once.OptimisedOnce - Class in org.projog.core.predicate.builtin.compound

onExit(SpyPoints.SpyPointExitEvent) - Method in class org.projog.core.event.LoggingProjogListener

onExit(SpyPoints.SpyPointExitEvent) - Method in interface org.projog.core.event.ProjogListener

The event generated when an attempt to evaluate a goal succeeds.

onFail(SpyPoints.SpyPointEvent) - Method in class org.projog.core.event.LoggingProjogListener

onFail(SpyPoints.SpyPointEvent) - Method in interface org.projog.core.event.ProjogListener

The event generated when all attempts to evaluate a goal have failed.

onInfo(String) - Method in class org.projog.core.event.LoggingProjogListener

onInfo(String) - Method in interface org.projog.core.event.ProjogListener

The event generated to inform clients of an event.

onRedo(SpyPoints.SpyPointEvent) - Method in class org.projog.core.event.LoggingProjogListener

onRedo(SpyPoints.SpyPointEvent) - Method in interface org.projog.core.event.ProjogListener

The event generated when an attempt is made to re-evaluate a goal.

onWarn(String) - Method in class org.projog.core.event.LoggingProjogListener

onWarn(String) - Method in interface org.projog.core.event.ProjogListener

The event generated to warn clients of an event.

Op - Class in org.projog.core.predicate.builtin.io

op(X,Y,Z)

Op() - Constructor for class org.projog.core.predicate.builtin.io.Op

Open - Class in org.projog.core.predicate.builtin.io

open(X,Y,Z) - opens a file.

Open() - Constructor for class org.projog.core.predicate.builtin.io.Open

openInput(String) - Method in class org.projog.core.io.FileHandles

Creates an intput file stream to read from the file with the specified name

openInput(String) - Method in class org.projog.core.predicate.builtin.io.Open

openOutput(String) - Method in class org.projog.core.io.FileHandles

Creates an output file stream to write to the file with the specified name

openOutput(String) - Method in class org.projog.core.predicate.builtin.io.Open

Operand(Operands.Associativity, int) - Constructor for class org.projog.core.parser.Operands.Operand

OPERAND_AND_ARGUMENTS - org.projog.core.parser.TokenType

operands - Variable in class org.projog.core.kb.KnowledgeBase

operands - Variable in class org.projog.core.parser.SentenceParser

operands - Variable in class org.projog.core.parser.TokenParser

operands - Variable in class org.projog.core.term.TermFormatter

Operands - Class in org.projog.core.parser

Collection of operands.

Operands() - Constructor for class org.projog.core.parser.Operands

Operands.Associativity - Enum in org.projog.core.parser

Associativity is used to specify rules over operators in the same expression that have the same priority.

Operands.Location - Enum in org.projog.core.parser

Operands.Operand - Class in org.projog.core.parser

operatorClassNames - Variable in class org.projog.core.math.ArithmeticOperators

operatorInstances - Variable in class org.projog.core.math.ArithmeticOperators

operators - Variable in class org.projog.core.math.AbstractArithmeticOperator

OptimisedDisjunction(PredicateFactory, PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedDisjunction

OptimisedFold(PredicateFactory, Term) - Constructor for class org.projog.core.predicate.builtin.list.Fold.OptimisedFold

OptimisedIfThen(PredicateFactory, PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.compound.IfThen.OptimisedIfThen

OptimisedIfThenElse(PredicateFactory, PredicateFactory, PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedIfThenElse

OptimisedLimit(PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.compound.Limit.OptimisedLimit

OptimisedNot(PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.compound.Not.OptimisedNot

OptimisedOnce(PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.compound.Once.OptimisedOnce

OptimisedRetryableConjuction(PredicateFactory, PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.compound.Conjunction.OptimisedRetryableConjuction

OptimisedSingletonConjuction(PredicateFactory, PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.compound.Conjunction.OptimisedSingletonConjuction

optimisePredicateFactory(KnowledgeBase, ClauseAction[], Term) - Static method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

or() - Static method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

org.projog.api - package org.projog.api

Provides a programming interface for Java applications to interact with Projog.

org.projog.core - package org.projog.core

Provides a Java based implementation of the Prolog logic programming language.

org.projog.core.event - package org.projog.core.event

Provides a mechanism for objects to notify and be notified of events.

org.projog.core.io - package org.projog.core.io

org.projog.core.kb - package org.projog.core.kb

org.projog.core.math - package org.projog.core.math

org.projog.core.math.builtin - package org.projog.core.math.builtin

Provides arithmetic operators.

org.projog.core.parser - package org.projog.core.parser

Provides classes for constructing Term objects from Prolog syntax.

org.projog.core.predicate - package org.projog.core.predicate

org.projog.core.predicate.builtin.bool - package org.projog.core.predicate.builtin.bool

Predicates to explicitly specify when a goal succeeds of fails.

org.projog.core.predicate.builtin.classify - package org.projog.core.predicate.builtin.classify

Predicates for classifying terms.

org.projog.core.predicate.builtin.clp - package org.projog.core.predicate.builtin.clp

Predicates to support constraint logic programming.

org.projog.core.predicate.builtin.compare - package org.projog.core.predicate.builtin.compare

Predicates for comparing terms, including specific predicates for comparing numeric values.

org.projog.core.predicate.builtin.compound - package org.projog.core.predicate.builtin.compound

Predicates for the construction of compound/complex sentences.

org.projog.core.predicate.builtin.construct - package org.projog.core.predicate.builtin.construct

Predicates for inspecting the structure of terms.

org.projog.core.predicate.builtin.db - package org.projog.core.predicate.builtin.db

Predicates to support working with the recorded database.

org.projog.core.predicate.builtin.debug - package org.projog.core.predicate.builtin.debug

Predicates to aid the debugging of Prolog programs.

org.projog.core.predicate.builtin.flow - package org.projog.core.predicate.builtin.flow

Predicates for affecting the flow of goal evaluation on backtracking.

org.projog.core.predicate.builtin.io - package org.projog.core.predicate.builtin.io

Predicates for system input and output with the file system.

org.projog.core.predicate.builtin.kb - package org.projog.core.predicate.builtin.kb

Predicates for inspecting, adding and retracting clauses.

org.projog.core.predicate.builtin.list - package org.projog.core.predicate.builtin.list

Predicates for working with list data structures.

org.projog.core.predicate.builtin.reif - package org.projog.core.predicate.builtin.reif

org.projog.core.predicate.builtin.time - package org.projog.core.predicate.builtin.time

Predicates to support working with dates and times.

org.projog.core.predicate.udp - package org.projog.core.predicate.udp

Provides functionality to evaluate user defined predicates defined using Prolog syntax.

org.projog.core.term - package org.projog.core.term

Contains the building blocks used to construct Prolog programs and queries.

org.projog.tools - package org.projog.tools

Provides entry points for accessing the core functionality of Projog.

original - Variable in class org.projog.core.predicate.udp.ClauseModel

originalList - Variable in class org.projog.core.predicate.builtin.list.Member.MemberPredicate

originalSecondArgument - Variable in class org.projog.core.predicate.builtin.compound.Conjunction.ConjunctionPredicate

out - Variable in class org.projog.core.event.LoggingProjogListener

out - Variable in class org.projog.core.io.FileHandles

out - Variable in class org.projog.tools.ProjogConsole

output - Variable in class org.projog.core.predicate.builtin.io.Writef.Formatter

outputHandles - Variable in class org.projog.core.io.FileHandles

P

p - Variable in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory.RetryableRulePredicate

PairsElements - Class in org.projog.core.predicate.builtin.list

pairs_keys(Pairs,Keys) / pairs_values(Pairs,Values) - get keys or values from list of Key-Value pairs.

PairsElements(int) - Constructor for class org.projog.core.predicate.builtin.list.PairsElements

parse(Reader) - Method in class org.projog.core.parser.ProjogSourceReader

parseAndExecute(String) - Method in class org.projog.tools.ProjogConsole

parsedInput - Variable in class org.projog.api.QueryPlan

parsedInput - Variable in class org.projog.api.QueryStatement

parseEscapeSequence() - Method in class org.projog.core.parser.TokenParser

parseFile(KnowledgeBase, File) - Static method in class org.projog.core.parser.ProjogSourceReader

Populates the KnowledgeBase with clauses defined in the file.

parseHex() - Method in class org.projog.core.parser.TokenParser

parseLeadingZero(int) - Method in class org.projog.core.parser.TokenParser

Parses a character code and represents it as an integer.

parseList() - Method in class org.projog.core.parser.SentenceParser

parseNumber(int) - Method in class org.projog.core.parser.TokenParser

Parses a number, starting with the specified character, read from the parser.

parseNumber(Writef.Formatter) - Method in class org.projog.core.predicate.builtin.io.Writef

parsePercentEscapeSequence(Writef.Formatter) - Method in class org.projog.core.predicate.builtin.io.Writef

parsePredicate(Token) - Method in class org.projog.core.parser.SentenceParser

parseQuotedText() - Method in class org.projog.core.parser.TokenParser

Reads a String consisting of all characters read from the parser up to the next '.

parser - Variable in class org.projog.core.parser.SentenceParser

parser - Variable in class org.projog.core.parser.TokenParser

parseReader(KnowledgeBase, Reader) - Static method in class org.projog.core.parser.ProjogSourceReader

Populates the KnowledgeBase with clauses read from the Reader.

parseResource(KnowledgeBase, String) - Static method in class org.projog.core.parser.ProjogSourceReader

Populates the KnowledgeBase with clauses defined in the specified resource.

ParserException - Exception in org.projog.core.parser

Signals a failure to successfully parse Prolog syntax.

ParserException(String, CharacterParser) - Constructor for exception org.projog.core.parser.ParserException

ParserException(String, CharacterParser, Throwable) - Constructor for exception org.projog.core.parser.ParserException

parseSentence() - Method in class org.projog.core.parser.SentenceParser

Creates a Term from Prolog syntax, terminated by a ., read from this object's CharacterParser.

parseSlashEscapeSequence(Writef.Formatter) - Method in class org.projog.core.predicate.builtin.io.Writef

parseSymbol(int) - Method in class org.projog.core.parser.TokenParser

parseTerms(Reader) - Method in class org.projog.core.parser.ProjogSourceReader

parseText(int, TokenType) - Method in class org.projog.core.parser.TokenParser

parseToken() - Method in class org.projog.core.parser.TokenParser

parseToken(boolean, Function<Token, Boolean>) - Method in class org.projog.core.parser.SentenceParser

parseTokens(boolean, Function<Token, Boolean>) - Method in class org.projog.core.parser.SentenceParser

parseUnicode() - Method in class org.projog.core.parser.TokenParser

parseUnicode(Writef.Formatter) - Method in class org.projog.core.predicate.builtin.io.Writef

PartialApplicationUtils - Class in org.projog.core.predicate.builtin.list

PartialApplicationUtils() - Constructor for class org.projog.core.predicate.builtin.list.PartialApplicationUtils

peek() - Method in class org.projog.core.parser.CharacterParser

Reads a single character but does not consume it.

peek() - Method in class org.projog.core.predicate.builtin.io.Writef.Formatter

PERIOD - Static variable in class org.projog.core.parser.Delimiters

pf - Variable in class org.projog.core.predicate.builtin.compare.PredSort.PredSortComparator

pf - Variable in class org.projog.core.predicate.builtin.compare.PredSort.PreprocessedPredSort

pf - Variable in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

pf - Variable in class org.projog.core.predicate.builtin.compound.BagOf.PreprocessedBagOf

pf - Variable in class org.projog.core.predicate.builtin.compound.FindAll.PreprocessedFindAll

pf - Variable in class org.projog.core.predicate.builtin.compound.Limit.OptimisedLimit

pf - Variable in class org.projog.core.predicate.builtin.compound.Not.OptimisedNot

pf - Variable in class org.projog.core.predicate.builtin.compound.Once.OptimisedOnce

pf - Variable in class org.projog.core.predicate.builtin.compound.SetOf.PreprocessedSetOf

pf - Variable in class org.projog.core.predicate.builtin.kb.AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator

pf - Variable in class org.projog.core.predicate.builtin.list.Fold.OptimisedFold

pf - Variable in class org.projog.core.predicate.builtin.list.Fold.Retryable

pf - Variable in class org.projog.core.predicate.builtin.list.MapList.PreprocessedMapList

pf - Variable in class org.projog.core.predicate.builtin.list.MapList.Retryable

pf - Variable in class org.projog.core.predicate.udp.ClauseActionFactory.ImmutableConsequentRule

pf - Variable in class org.projog.core.predicate.udp.ClauseActionFactory.MutableRule

pf - Variable in class org.projog.core.predicate.udp.ClauseActionFactory.ZeroArgConsequentRule

pf1 - Variable in class org.projog.core.predicate.builtin.compound.Disjunction.DisjunctionPredicate

pf1 - Variable in class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedDisjunction

pf2 - Variable in class org.projog.core.predicate.builtin.compound.Disjunction.DisjunctionPredicate

pf2 - Variable in class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedDisjunction

pop() - Method in class org.projog.core.predicate.builtin.io.Writef.Formatter

pos - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.ActionIterator

positions - Variable in class org.projog.core.predicate.udp.Index

postfix(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents a postfix operator, else false.

POSTFIX - org.projog.core.parser.Operands.Location

An operator that is positioned directly after its single argument.

postfixOperands - Variable in class org.projog.core.parser.Operands

postUnify() - Method in class org.projog.core.term.Variable

postUnify(Variable, Term) - Method in class org.projog.core.predicate.builtin.reif.Dif.DifVariableAttribute

postUnify(Variable, Term) - Method in interface org.projog.core.term.VariableAttribute

Power - Class in org.projog.core.math.builtin

** - calculates the result of the first argument raised to the power of the second argument.

Power() - Constructor for class org.projog.core.math.builtin.Power

precedence - Variable in class org.projog.core.parser.Operands.Operand

precedence - Variable in enum org.projog.core.term.TermType

predicate - Variable in class org.projog.api.QueryResult

predicate - Variable in class org.projog.core.predicate.builtin.compound.Limit.LimitPredicate

Predicate - Interface in org.projog.core.predicate

Represents a goal.

PREDICATE_CLOSING_BRACKET - Static variable in class org.projog.core.parser.Delimiters

PREDICATE_KEY_FUNCTOR - Static variable in class org.projog.core.predicate.PredicateKey

PREDICATE_OPENING_BRACKET - Static variable in class org.projog.core.parser.Delimiters

predicateFactory - Variable in class org.projog.api.QueryPlan

predicateFactory - Variable in class org.projog.api.QueryStatement

predicateFactory - Variable in class org.projog.core.predicate.builtin.list.SubList.PreprocessedSubList

PredicateFactory - Interface in org.projog.core.predicate

Returns specialised implementations of Predicate.

predicateKey - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

PredicateKey - Class in org.projog.core.predicate

Represents the structure of a Term.

PredicateKey(String, int) - Constructor for class org.projog.core.predicate.PredicateKey

predicateName - Variable in class org.projog.core.predicate.builtin.compare.PredSort.PredSortComparator

predicateName - Variable in class org.projog.core.predicate.builtin.compare.PredSort.PreprocessedPredSort

predicates - Variable in class org.projog.core.kb.KnowledgeBase

predicates - Variable in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

predicates - Variable in class org.projog.core.predicate.builtin.list.Fold.Retryable

predicates - Variable in class org.projog.core.predicate.builtin.list.MapList

predicates - Variable in class org.projog.core.predicate.builtin.list.MapList.Retryable

Predicates - Class in org.projog.core.predicate

Acts as a repository of rules and facts.

Predicates(KnowledgeBase) - Constructor for class org.projog.core.predicate.Predicates

predicatesLock - Variable in class org.projog.core.predicate.Predicates

Used to coordinate access to Predicates.javaPredicateClassNames, Predicates.javaPredicateInstances and Predicates.userDefinedPredicates

PredicateUtils - Class in org.projog.core.predicate.udp

PredicateUtils() - Constructor for class org.projog.core.predicate.udp.PredicateUtils

PredSort - Class in org.projog.core.predicate.builtin.compare

predsort(X,Y,Z) - sorts a list using the specified predicate.

PredSort() - Constructor for class org.projog.core.predicate.builtin.compare.PredSort

PredSort.PredSortComparator - Class in org.projog.core.predicate.builtin.compare

PredSort.PreprocessedPredSort - Class in org.projog.core.predicate.builtin.compare

PredSortComparator(PredicateFactory, Term) - Constructor for class org.projog.core.predicate.builtin.compare.PredSort.PredSortComparator

prefix - Variable in class org.projog.core.predicate.builtin.list.Append.AppendPredicate

prefix(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents a prefix operator, else false.

PREFIX - org.projog.core.parser.Operands.Location

An operator that is positioned directly before its single argument.

prefixOperands - Variable in class org.projog.core.parser.Operands

preprocess(Term) - Method in class org.projog.core.math.AbstractArithmeticOperator

preprocess(Term) - Method in interface org.projog.core.math.PreprocessableArithmeticOperator

preprocess(Term) - Method in class org.projog.core.predicate.builtin.compare.Is

preprocess(Term) - Method in class org.projog.core.predicate.builtin.compare.PredSort

preprocess(Term) - Method in class org.projog.core.predicate.builtin.compound.BagOf

preprocess(Term) - Method in class org.projog.core.predicate.builtin.compound.Conjunction

preprocess(Term) - Method in class org.projog.core.predicate.builtin.compound.Disjunction

preprocess(Term) - Method in class org.projog.core.predicate.builtin.compound.FindAll

preprocess(Term) - Method in class org.projog.core.predicate.builtin.compound.IfThen

preprocess(Term) - Method in class org.projog.core.predicate.builtin.compound.Limit

preprocess(Term) - Method in class org.projog.core.predicate.builtin.compound.Not

preprocess(Term) - Method in class org.projog.core.predicate.builtin.compound.Once

preprocess(Term) - Method in class org.projog.core.predicate.builtin.compound.SetOf

preprocess(Term) - Method in class org.projog.core.predicate.builtin.list.Fold

preprocess(Term) - Method in class org.projog.core.predicate.builtin.list.MapList

preprocess(Term) - Method in class org.projog.core.predicate.builtin.list.MemberCheck

preprocess(Term) - Method in class org.projog.core.predicate.builtin.list.SubList

preprocess(Term) - Method in interface org.projog.core.predicate.PreprocessablePredicateFactory

preprocess(Term) - Method in class org.projog.core.predicate.udp.SingleNonRetryableRulePredicateFactory

preprocess(Term) - Method in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory

preprocess(Term) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.IndexablePredicateFactory

preprocess(Term) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory

preprocess(Term) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory

preprocess(Term) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

preprocess(Term) - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory

preprocess(Term) - Method in class org.projog.core.predicate.UnknownPredicate

PreprocessableArithmeticOperator - Interface in org.projog.core.math

PreprocessablePredicateFactory - Interface in org.projog.core.predicate

preprocessBinaryOperator(Term, Term) - Method in class org.projog.core.math.AbstractArithmeticOperator

PreprocessedBagOf(PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.compound.BagOf.PreprocessedBagOf

PreprocessedBinaryOperator(ArithmeticOperator, ArithmeticOperator) - Constructor for class org.projog.core.math.AbstractArithmeticOperator.PreprocessedBinaryOperator

PreprocessedFindAll(PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.compound.FindAll.PreprocessedFindAll

PreprocessedIs(ArithmeticOperator) - Constructor for class org.projog.core.predicate.builtin.compare.Is.PreprocessedIs

PreprocessedMapList(PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.list.MapList.PreprocessedMapList

PreprocessedMemberCheck(List<Term>) - Constructor for class org.projog.core.predicate.builtin.list.MemberCheck.PreprocessedMemberCheck

PreprocessedPredSort(PredicateFactory, Term) - Constructor for class org.projog.core.predicate.builtin.compare.PredSort.PreprocessedPredSort

PreprocessedSetOf(PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.compound.SetOf.PreprocessedSetOf

PreprocessedSubList(PredicateFactory) - Constructor for class org.projog.core.predicate.builtin.list.SubList.PreprocessedSubList

PreprocessedUnaryOperator(ArithmeticOperator) - Constructor for class org.projog.core.math.AbstractArithmeticOperator.PreprocessedUnaryOperator

preprocessUnaryOperator(Term) - Method in class org.projog.core.math.AbstractArithmeticOperator

prevent(ConstraintStore) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

previous - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.Link

previous - Variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ClauseActionMetaData

previous - Variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ImplicationsIterator

print(StringBuilder) - Method in class org.projog.core.predicate.builtin.io.Writef

printOutcome(boolean, long) - Method in class org.projog.tools.ProjogConsole

printProjogStackTrace(Throwable) - Method in class org.projog.api.Projog

Prints the all clauses contained in the specified throwable's stack trace to the standard error stream.

printProjogStackTrace(Throwable, PrintStream) - Method in class org.projog.api.Projog

Prints the all clauses contained in the specified throwable's stack trace to the specified print stream.

printPrompt() - Method in class org.projog.tools.ProjogConsole

printVariableAssignments(QueryResult, Set<String>) - Method in class org.projog.tools.ProjogConsole

processQuestion(Term) - Method in class org.projog.core.parser.ProjogSourceReader

processThrowable(Throwable) - Method in class org.projog.tools.ProjogConsole

projog - Variable in class org.projog.tools.ProjogConsole

Projog - Class in org.projog.api

Provides an entry point for other Java code to interact with Projog.

Projog(ProjogListener...) - Constructor for class org.projog.api.Projog

Constructs a new Projog object using ProjogDefaultProperties and the specified ProjogListeners.

Projog(ProjogProperties, ProjogListener...) - Constructor for class org.projog.api.Projog

Constructs a new Projog object with the specified ProjogProperties and ProjogListeners.

ProjogConsole - Class in org.projog.tools

Command line interface to Prolog.

ProjogConsole(InputStream, PrintStream) - Constructor for class org.projog.tools.ProjogConsole

ProjogDefaultProperties - Class in org.projog.core.kb

Implementation of ProjogProperties with hard-coded values.

ProjogDefaultProperties() - Constructor for class org.projog.core.kb.ProjogDefaultProperties

ProjogException - Exception in org.projog.core

An exception that provides information on an error within the Projog environment.

ProjogException(String) - Constructor for exception org.projog.core.ProjogException

ProjogException(String, Throwable) - Constructor for exception org.projog.core.ProjogException

ProjogListener - Interface in org.projog.core.event

projogListeners - Variable in class org.projog.core.event.SpyPoints

projogListeners - Variable in class org.projog.core.kb.KnowledgeBase

ProjogListeners - Class in org.projog.core.event

Controls the registering and notification of listeners of a KnowledgeBase.

ProjogListeners() - Constructor for class org.projog.core.event.ProjogListeners

projogProperties - Variable in class org.projog.core.kb.KnowledgeBase

ProjogProperties - Interface in org.projog.core.kb

Collection of configuration properties.

ProjogSourceReader - Class in org.projog.core.parser

Populates a KnowledgeBase with clauses parsed from Prolog syntax.

ProjogSourceReader(KnowledgeBase) - Constructor for class org.projog.core.parser.ProjogSourceReader

ProjogStackTraceElement - Class in org.projog.api

An element in a stack trace, as returned by Projog.getStackTrace(Throwable).

ProjogStackTraceElement(PredicateKey, Term) - Constructor for class org.projog.api.ProjogStackTraceElement

put(PredicateKey, Term) - Method in class org.projog.core.predicate.builtin.kb.Flag

put(Variable, Variable) - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

putAll(Map<? extends Variable, ? extends Variable>) - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

putAttribute(VariableAttribute, Term) - Method in class org.projog.core.term.Variable

PutChar - Class in org.projog.core.predicate.builtin.io

put_char(X) - writes a character.

PutChar() - Constructor for class org.projog.core.predicate.builtin.io.PutChar

Q

queryArgs - Variable in class org.projog.core.predicate.udp.InterpretedUserDefinedPredicate

QueryPlan - Class in org.projog.api

Represents a plan for executing a Prolog query.

QueryPlan(KnowledgeBase, String) - Constructor for class org.projog.api.QueryPlan

QueryResult - Class in org.projog.api

Represents an executing query.

QueryResult(PredicateFactory, Term, Map<String, Variable>) - Constructor for class org.projog.api.QueryResult

Evaluates a query.

QueryStatement - Class in org.projog.api

Represents a query.

QueryStatement(KnowledgeBase, String) - Constructor for class org.projog.api.QueryStatement

Creates a new QueryStatement representing a query specified by prologQuery.

QueryStatement(PredicateFactory, Term) - Constructor for class org.projog.api.QueryStatement

Creates a new QueryStatement representing a query specified by prologQuery.

QUESTION_PREDICATE_NAME - Static variable in class org.projog.core.kb.KnowledgeBaseUtils

The functor of structures representing questions (i.e.

queue - Variable in class org.projog.core.predicate.builtin.clp.CoreConstraintStore

quit - Variable in class org.projog.tools.ProjogConsole

QUIT_COMMAND - Static variable in class org.projog.tools.ProjogConsole

Command user can enter to exit the console application.

R

Random - Class in org.projog.core.math.builtin

random(X) Evaluate to a random integer i for which 0 =< i < X.

Random() - Constructor for class org.projog.core.math.builtin.Random

Read - Class in org.projog.core.predicate.builtin.io

read(X) - reads a term from the input stream.

Read() - Constructor for class org.projog.core.predicate.builtin.io.Read

READ - Static variable in class org.projog.core.predicate.builtin.io.Open

Record - Class in org.projog.core.predicate.builtin.db

Represents a record stored in a RecordedDatabase.

Record(PredicateKey, IntegerNumber, Term) - Constructor for class org.projog.core.predicate.builtin.db.Record

recordA() - Static method in class org.projog.core.predicate.builtin.db.InsertRecord

Recorded - Class in org.projog.core.predicate.builtin.db

recorded(X,Y,Z) - checks if a term is associated with a key.

Recorded() - Constructor for class org.projog.core.predicate.builtin.db.Recorded

Recorded.RecordedPredicate - Class in org.projog.core.predicate.builtin.db

RecordedDatabase - Class in org.projog.core.predicate.builtin.db

Provides a mechanism to associate a term with a key.

RecordedDatabase() - Constructor for class org.projog.core.predicate.builtin.db.RecordedDatabase

RecordedDatabase.Chain - Class in org.projog.core.predicate.builtin.db

RecordedDatabase.ChainIterator - Class in org.projog.core.predicate.builtin.db

RecordedDatabase.DatabaseIterator - Class in org.projog.core.predicate.builtin.db

RecordedDatabase.Link - Class in org.projog.core.predicate.builtin.db

RecordedPredicate(Term, Term, Term, Iterator<Record>) - Constructor for class org.projog.core.predicate.builtin.db.Recorded.RecordedPredicate

recordZ() - Static method in class org.projog.core.predicate.builtin.db.InsertRecord

reference - Variable in class org.projog.core.predicate.builtin.db.Record

reference - Variable in class org.projog.core.predicate.builtin.db.Recorded.RecordedPredicate

reference - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.Link

referenceCtr - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase

references - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase

reify(ReadConstraintStore) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

Remainder - Class in org.projog.core.math.builtin

rem - finds the remainder of division of one number by another.

Remainder() - Constructor for class org.projog.core.math.builtin.Remainder

remove() - Method in class org.projog.core.predicate.builtin.kb.Inspect.InspectPredicate

remove() - Method in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ImplicationsIterator

remove(Object) - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

removeAttribute(VariableAttribute) - Method in class org.projog.core.term.Variable

removeDuplicates(List<Term>) - Method in class org.projog.core.predicate.builtin.list.SortAsSet

removeReference(Long) - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase

repeat(String, long) - Method in class org.projog.core.predicate.builtin.io.Writef

RepeatInfinitely - Class in org.projog.core.predicate.builtin.flow

repeat - always succeeds.

RepeatInfinitely() - Constructor for class org.projog.core.predicate.builtin.flow.RepeatInfinitely

RepeatInfinitely.RepeatInfinitelyPredicate - Class in org.projog.core.predicate.builtin.flow

RepeatInfinitelyPredicate() - Constructor for class org.projog.core.predicate.builtin.flow.RepeatInfinitely.RepeatInfinitelyPredicate

RepeatSetAmount - Class in org.projog.core.predicate.builtin.flow

repeat(N) - succeeds N times.

RepeatSetAmount() - Constructor for class org.projog.core.predicate.builtin.flow.RepeatSetAmount

RepeatSetAmount.RepeatSetAmountPredicate - Class in org.projog.core.predicate.builtin.flow

RepeatSetAmountPredicate(long) - Constructor for class org.projog.core.predicate.builtin.flow.RepeatSetAmount.RepeatSetAmountPredicate

replace(Function<LeafExpression, LeafExpression>) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

resolve() - Method in class org.projog.core.predicate.builtin.clp.CoreConstraintStore

Resolve - Class in org.projog.core.predicate.builtin.clp

label([X]) - assigns concrete values to the given CLP variables.

Resolve() - Constructor for class org.projog.core.predicate.builtin.clp.Resolve

Resolve.ClpResolvePredicate - Class in org.projog.core.predicate.builtin.clp

restrictValues(ClpVariable) - Method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

result - Variable in class org.projog.core.predicate.builtin.list.Fold.Retryable

result - Variable in class org.projog.core.predicate.udp.Index

retract() - Static method in class org.projog.core.predicate.builtin.kb.Inspect

RetractAll - Class in org.projog.core.predicate.builtin.kb

retractall(X) - remove clauses from the knowledge base.

RetractAll() - Constructor for class org.projog.core.predicate.builtin.kb.RetractAll

retractPredicateFactory - Variable in class org.projog.core.predicate.builtin.kb.RetractAll

retried - Variable in class org.projog.core.predicate.builtin.flow.Cut.CutPredicate

retry - Variable in class org.projog.core.predicate.builtin.list.Last.LastPredicate

retryable - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.IndexablePredicateFactory

retryable - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory

retryable - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory

retryable - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory

Retryable(int, Term, Term) - Constructor for class org.projog.core.predicate.builtin.list.Length.Retryable

Retryable(PredicateFactory, Term, List<Term>[]) - Constructor for class org.projog.core.predicate.builtin.list.MapList.Retryable

Retryable(PredicateFactory, Term, List<Term>, Term, Term) - Constructor for class org.projog.core.predicate.builtin.list.Fold.Retryable

Retryable(Term, long, long) - Constructor for class org.projog.core.predicate.builtin.compare.Between.Retryable

Retryable(Term, Set<PredicateKey>) - Constructor for class org.projog.core.predicate.builtin.kb.CurrentPredicate.Retryable

Retryable(Term, Term, String) - Constructor for class org.projog.core.predicate.builtin.construct.AtomConcat.Retryable

Retryable(Term, Term, Term) - Constructor for class org.projog.core.predicate.builtin.list.Nth.Retryable

RetryableRulePredicate(ClauseAction, SpyPoints.SpyPoint, Term[]) - Constructor for class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory.RetryableRulePredicate

retryCurrentClauseAction - Variable in class org.projog.core.predicate.udp.InterpretedUserDefinedPredicate

retrying - Variable in class org.projog.core.predicate.builtin.list.Append.AppendPredicate

retrying - Variable in class org.projog.core.predicate.builtin.list.Reverse.ReversePredicate

retrying - Variable in class org.projog.core.predicate.builtin.list.Select.SelectPredicate

retrying - Variable in class org.projog.core.predicate.udp.TailRecursivePredicate

Reverse - Class in org.projog.core.predicate.builtin.list

reverse(X,Y) - reverses the order of elements in a list.

Reverse() - Constructor for class org.projog.core.predicate.builtin.list.Reverse

Reverse.ReversePredicate - Class in org.projog.core.predicate.builtin.list

ReversePredicate(Term, Term) - Constructor for class org.projog.core.predicate.builtin.list.Reverse.ReversePredicate

rewind() - Method in class org.projog.core.parser.CharacterParser

Moves the parser back one character.

rewind() - Method in class org.projog.core.predicate.builtin.io.Writef.Formatter

rewind(int) - Method in class org.projog.core.parser.CharacterParser

Moves the parser back by the specified number of characters.

rewind(Token) - Method in class org.projog.core.parser.TokenParser

Rewinds the parser (i.e.

rewound - Variable in class org.projog.core.parser.TokenParser

rightImpliesLeft() - Static method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

Round - Class in org.projog.core.math.builtin

integer(X) - round X to the nearest integer value.

Round() - Constructor for class org.projog.core.math.builtin.Round

rules - Variable in class org.projog.core.predicate.builtin.clp.ClpVariable

run(List<String>) - Method in class org.projog.tools.ProjogConsole

S

secondArg - Variable in class org.projog.core.predicate.builtin.list.Select.SelectPredicate

secondClause - Variable in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

secondClauseConsequentArgs - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

secondClauseConsequentArgs - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

secondClauseOriginalTerms - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

secondClauseOriginalTerms - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

secondClausePredicateFactories - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

secondClausePredicateFactories - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

secondPredicate - Variable in class org.projog.core.predicate.builtin.compound.Conjunction.ConjunctionPredicate

secondPredicate - Variable in class org.projog.core.predicate.builtin.compound.Disjunction.DisjunctionPredicate

secondPredicateFactory - Variable in class org.projog.core.predicate.builtin.compound.Conjunction.ConjunctionPredicate

secondPredicateFactory - Variable in class org.projog.core.predicate.builtin.compound.Conjunction.OptimisedRetryableConjuction

secondPredicateFactory - Variable in class org.projog.core.predicate.builtin.compound.Conjunction.OptimisedSingletonConjuction

See - Class in org.projog.core.predicate.builtin.io

see(X) - opens a file and sets it as the current input stream.

See() - Constructor for class org.projog.core.predicate.builtin.io.See

Seen - Class in org.projog.core.predicate.builtin.io

seen - closes the current input stream.

Seen() - Constructor for class org.projog.core.predicate.builtin.io.Seen

Select - Class in org.projog.core.predicate.builtin.list

select(X,Y,Z) - removes an element from a list.

Select() - Constructor for class org.projog.core.predicate.builtin.list.Select

Select.SelectPredicate - Class in org.projog.core.predicate.builtin.list

SelectPredicate(Term, Term, Term, Term) - Constructor for class org.projog.core.predicate.builtin.list.Select.SelectPredicate

SentenceParser - Class in org.projog.core.parser

Parses Prolog syntax representing rules including operators.

SentenceParser(Reader, Operands) - Constructor for class org.projog.core.parser.SentenceParser

serialVersionUID - Static variable in exception org.projog.core.parser.ParserException

serialVersionUID - Static variable in exception org.projog.core.predicate.CutException

serialVersionUID - Static variable in exception org.projog.core.ProjogException

services - Variable in class org.projog.core.kb.KnowledgeBaseServiceLocator

set - Variable in class org.projog.core.event.SpyPoints.SpyPoint

set(Term, long, long) - Method in class org.projog.core.predicate.builtin.clp.In

setAll(Term, long, long) - Method in class org.projog.core.predicate.builtin.clp.In

setAtomName(String, String) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified String value as an Atom to the variable with the specified id.

setCompiledPredicateFactory() - Method in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

setCompiledPredicateFactoryInvocationCtr - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

setDouble(String, double) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified double as a DecimalFraction to the variable with the specified id.

setInput(Term) - Method in class org.projog.core.io.FileHandles

Sets the current input stream to the input stream represented by the specified Term.

SetInput - Class in org.projog.core.predicate.builtin.io

set_input(X) - sets the current input.

SetInput() - Constructor for class org.projog.core.predicate.builtin.io.SetInput

setKnowledgeBase(KnowledgeBase) - Method in interface org.projog.core.kb.KnowledgeBaseConsumer

Provides a reference to a KnowledgeBase.

setKnowledgeBase(KnowledgeBase) - Method in class org.projog.core.math.AbstractArithmeticOperator

Provides a reference to a KnowledgeBase.

setKnowledgeBase(KnowledgeBase) - Method in class org.projog.core.predicate.AbstractPredicateFactory

setKnowledgeBase(KnowledgeBase) - Method in class org.projog.core.predicate.AbstractSingleResultPredicate

setKnowledgeBase(KnowledgeBase) - Method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

setKnowledgeBase(KnowledgeBase) - Method in class org.projog.core.predicate.builtin.compound.Call

setKnowledgeBase(KnowledgeBase) - Method in class org.projog.core.predicate.builtin.list.MapList

setListOfAtomNames(String, String...) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified String values as a Prolog list of atoms to the variable with the specified id.

setListOfAtomNames(String, List<String>) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified String values as a Prolog list of atoms to the variable with the specified id.

setListOfDoubles(String, double...) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified double values as a Prolog list to the variable with the specified id.

setListOfDoubles(String, List<Double>) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified Double values as a Prolog list to the variable with the specified id.

setListOfLongs(String, long...) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified long values as a Prolog list to the variable with the specified id.

setListOfLongs(String, List<Long>) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified Long values as a Prolog list to the variable with the specified id.

setListOfTerms(String, List<? extends Term>) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified Term values as a Prolog list to the variable with the specified id.

setListOfTerms(String, Term...) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified Term values as a Prolog list to the variable with the specified id.

setLong(String, long) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified long as a IntegerNumber to the variable with the specified id.

setMax(ConstraintStore, long) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

setMax(Expression, long) - Method in class org.projog.core.predicate.builtin.clp.CoreConstraintStore

setMin(ConstraintStore, long) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

setMin(Expression, long) - Method in class org.projog.core.predicate.builtin.clp.CoreConstraintStore

setNot(ConstraintStore, long) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

setNot(Expression, long) - Method in class org.projog.core.predicate.builtin.clp.CoreConstraintStore

SetOf - Class in org.projog.core.predicate.builtin.compound

setof(X,P,L) - find all solutions that satisfy the goal.

SetOf() - Constructor for class org.projog.core.predicate.builtin.compound.SetOf

SetOf.PreprocessedSetOf - Class in org.projog.core.predicate.builtin.compound

SetOf.SetOfPredicate - Class in org.projog.core.predicate.builtin.compound

SetOfPredicate(PredicateFactory, Term, Term, Term) - Constructor for class org.projog.core.predicate.builtin.compound.SetOf.SetOfPredicate

setOutput(Term) - Method in class org.projog.core.io.FileHandles

Sets the current output stream to the output stream represented by the specified Term.

SetOutput - Class in org.projog.core.predicate.builtin.io

set_output(X) - sets the current output.

SetOutput() - Constructor for class org.projog.core.predicate.builtin.io.SetOutput

setSpyPoint(PredicateKey) - Method in class org.projog.core.predicate.builtin.debug.AlterSpyPoint

setSpyPoint(PredicateKey, boolean) - Method in class org.projog.core.event.SpyPoints

setSpyPoints(List<PredicateKey>) - Method in class org.projog.core.predicate.builtin.debug.AlterSpyPoint

setTerm(String, Term) - Method in class org.projog.api.QueryStatement

Attempts to unify the specified term to the variable with the specified id.

setTraceEnabled(boolean) - Method in class org.projog.core.event.SpyPoints

setUserInput(InputStream) - Method in class org.projog.api.Projog

Reassigns the "standard" input stream.

setUserInput(InputStream) - Method in class org.projog.core.io.FileHandles

Reassigns the "standard" input stream.

setUserOutput(PrintStream) - Method in class org.projog.api.Projog

Reassigns the "standard" output stream.

setUserOutput(PrintStream) - Method in class org.projog.core.io.FileHandles

Reassigns the "standard" output stream.

setValue(Expression, long) - Method in class org.projog.core.predicate.builtin.clp.CoreConstraintStore

ShiftLeft - Class in org.projog.core.math.builtin

<< - left shift bits.

ShiftLeft() - Constructor for class org.projog.core.math.builtin.ShiftLeft

ShiftRight - Class in org.projog.core.math.builtin

>> - right shift bits.

ShiftRight() - Constructor for class org.projog.core.math.builtin.ShiftRight

shouldBeRemoved(Term, List<Term>) - Method in class org.projog.core.predicate.builtin.list.SubtractFromList

shouldContinue() - Method in class org.projog.tools.ProjogConsole

shouldLeftArgumentBeBracketed(Term, Term, int) - Method in class org.projog.core.term.TermFormatter

shouldRightArgumentBeBracketed(Term, Term, int) - Method in class org.projog.core.term.TermFormatter

SingleIndexPredicateFactory(Clauses) - Constructor for class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory

SingleNonRetryableRulePredicateFactory - Class in org.projog.core.predicate.udp

SingleNonRetryableRulePredicateFactory(ClauseAction, SpyPoints.SpyPoint) - Constructor for class org.projog.core.predicate.udp.SingleNonRetryableRulePredicateFactory

SingleRetryableRulePredicateFactory - Class in org.projog.core.predicate.udp

SingleRetryableRulePredicateFactory(ClauseAction, SpyPoints.SpyPoint) - Constructor for class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory

SingleRetryableRulePredicateFactory.RetryableRulePredicate - Class in org.projog.core.predicate.udp

SINGLETON - Static variable in class org.projog.core.predicate.builtin.flow.RepeatInfinitely

SINGLETON - Static variable in class org.projog.core.predicate.SucceedsNeverPredicate

SINGLETON - Static variable in class org.projog.core.predicate.SucceedsOncePredicate

size() - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

skipDeleted() - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase.ChainIterator

skipLine() - Method in class org.projog.core.parser.CharacterParser

Skips the remainder of the line currently being parsed.

skipMultiLineComment() - Method in class org.projog.core.parser.TokenParser

skipWhitespace() - Method in class org.projog.core.parser.TokenParser

skipWhitespaceAndComments() - Method in class org.projog.core.parser.TokenParser

Sort - Class in org.projog.core.predicate.builtin.list

msort(X,Y) - sorts a list.

Sort() - Constructor for class org.projog.core.predicate.builtin.list.Sort

SortAsSet - Class in org.projog.core.predicate.builtin.list

sort(X,Y) - sorts a list and removes duplicates.

SortAsSet() - Constructor for class org.projog.core.predicate.builtin.list.SortAsSet

source - Variable in class org.projog.core.event.SpyPoints.SpyPointEvent

split(Term, String) - Method in class org.projog.core.predicate.builtin.list.AtomicListConcat

spy() - Static method in class org.projog.core.predicate.builtin.debug.AlterSpyPoint

spyPoint - Variable in class org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory

spyPoint - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

spyPoint - Variable in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

spyPoint - Variable in class org.projog.core.predicate.udp.InterpretedUserDefinedPredicate

spyPoint - Variable in class org.projog.core.predicate.udp.NeverSucceedsPredicateFactory

spyPoint - Variable in class org.projog.core.predicate.udp.SingleNonRetryableRulePredicateFactory

spyPoint - Variable in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory.RetryableRulePredicate

spyPoint - Variable in class org.projog.core.predicate.udp.SingleRetryableRulePredicateFactory

spyPoint - Variable in class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

SpyPoint(PredicateKey) - Constructor for class org.projog.core.event.SpyPoints.SpyPoint

SpyPointEvent(PredicateKey, Term[], Object) - Constructor for class org.projog.core.event.SpyPoints.SpyPointEvent

SpyPointExitEvent(PredicateKey, Term[], Object, ClauseModel) - Constructor for class org.projog.core.event.SpyPoints.SpyPointExitEvent

spyPoints - Variable in class org.projog.core.event.SpyPoints

spyPoints - Variable in class org.projog.core.kb.KnowledgeBase

SpyPoints - Class in org.projog.core.event

Collection of spy points.

SpyPoints(ProjogListeners, TermFormatter) - Constructor for class org.projog.core.event.SpyPoints

SpyPoints(KnowledgeBase) - Constructor for class org.projog.core.event.SpyPoints

SpyPoints.SpyPoint - Class in org.projog.core.event

SpyPoints.SpyPointEvent - Class in org.projog.core.event

SpyPoints.SpyPointExitEvent - Class in org.projog.core.event

stackTrace - Variable in exception org.projog.core.ProjogException

start - Variable in class org.projog.core.predicate.builtin.list.Fold.Retryable

startingIdx - Variable in class org.projog.core.predicate.builtin.list.Nth

startLength - Variable in class org.projog.core.predicate.builtin.list.Length.Retryable

state - Variable in class org.projog.core.predicate.builtin.classify.CharType.CharTypePredicate

state - Variable in class org.projog.core.predicate.builtin.clp.ClpVariable

State(Term[], CharType.Type[]) - Constructor for class org.projog.core.predicate.builtin.classify.CharType.State

StaticUserDefinedPredicateFactory - Class in org.projog.core.predicate.udp

Maintains a record of the clauses that represents a "static" user defined predicate.

StaticUserDefinedPredicateFactory(KnowledgeBase, PredicateKey) - Constructor for class org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory

StaticUserDefinedPredicateFactory.ActionIterator - Class in org.projog.core.predicate.udp

StaticUserDefinedPredicateFactory.ImplicationsIterator - Class in org.projog.core.predicate.udp

StaticUserDefinedPredicateFactory.IndexablePredicateFactory - Class in org.projog.core.predicate.udp

StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory - Class in org.projog.core.predicate.udp

StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory - Class in org.projog.core.predicate.udp

StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory - Class in org.projog.core.predicate.udp

STOP_EVALUATING - Static variable in class org.projog.tools.ProjogConsole

storeParsedTerm(Term) - Method in class org.projog.core.parser.ProjogSourceReader

StrictEquality - Class in org.projog.core.predicate.builtin.compare

X==Y - a strict equality test.

StrictEquality() - Constructor for class org.projog.core.predicate.builtin.compare.StrictEquality

stringToChar(String) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

Structure - Class in org.projog.core.term

A Term consisting of a functor (name) and a number of other Term arguments.

Structure(String, Term[], boolean) - Constructor for class org.projog.core.term.Structure

Private constructor to force use of Structure.createStructure(String, Term[])

STRUCTURE - org.projog.core.term.TermType

SubList - Class in org.projog.core.predicate.builtin.list

include(X,Y,Z) - filters a list by a goal.

SubList() - Constructor for class org.projog.core.predicate.builtin.list.SubList

SubList.PreprocessedSubList - Class in org.projog.core.predicate.builtin.list

Subset - Class in org.projog.core.predicate.builtin.list

subset(X,Y) - checks if a set is a subset.

Subset() - Constructor for class org.projog.core.predicate.builtin.list.Subset

subtract() - Static method in class org.projog.core.predicate.builtin.clp.CommonExpression

Subtract - Class in org.projog.core.math.builtin

- - performs subtraction.

Subtract() - Constructor for class org.projog.core.math.builtin.Subtract

SubtractFromList - Class in org.projog.core.predicate.builtin.list

subtract(X,Y,Z) - removes elements from a list.

SubtractFromList() - Constructor for class org.projog.core.predicate.builtin.list.SubtractFromList

succeededOnPreviousGo - Variable in class org.projog.core.predicate.udp.TailRecursivePredicate

SucceedsNeverPredicate - Class in org.projog.core.predicate

SucceedsNeverPredicate() - Constructor for class org.projog.core.predicate.SucceedsNeverPredicate

SucceedsOncePredicate - Class in org.projog.core.predicate

SucceedsOncePredicate() - Constructor for class org.projog.core.predicate.SucceedsOncePredicate

suffix - Variable in class org.projog.core.predicate.builtin.list.Append.AppendPredicate

SYMBOL - org.projog.core.parser.TokenType

T

t1 - Variable in class org.projog.core.predicate.udp.KeyFactories.Key2

t1 - Variable in class org.projog.core.predicate.udp.KeyFactories.Key3

t2 - Variable in class org.projog.core.predicate.udp.KeyFactories.Key2

t2 - Variable in class org.projog.core.predicate.udp.KeyFactories.Key3

t3 - Variable in class org.projog.core.predicate.udp.KeyFactories.Key3

Tab - Class in org.projog.core.predicate.builtin.io

tab(X) - writes X number of spaces to the output stream.

Tab() - Constructor for class org.projog.core.predicate.builtin.io.Tab

tail - Variable in class org.projog.core.predicate.builtin.list.Last.LastPredicate

tail - Variable in class org.projog.core.term.List

TailRecursivePredicate - Class in org.projog.core.predicate.udp

A template for implementations of Predicate that are tail recursive.

TailRecursivePredicate() - Constructor for class org.projog.core.predicate.udp.TailRecursivePredicate

TailRecursivePredicateMetaData - Class in org.projog.core.predicate.udp

Defines the characteristics of a tail recursive user defined predicate.

TailRecursivePredicateMetaData(List<ClauseModel>) - Constructor for class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

Tell - Class in org.projog.core.predicate.builtin.io

tell(X) - opens a file and sets it as the current output stream.

Tell() - Constructor for class org.projog.core.predicate.builtin.io.Tell

template - Variable in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

term - Variable in class org.projog.api.ProjogStackTraceElement

Term - Interface in org.projog.core.term

The building blocks used to construct Prolog programs and queries.

TERM_COMPARATOR - Static variable in class org.projog.core.term.TermComparator

Singleton instance

TermComparator - Class in org.projog.core.term

An implementation of Comparator for comparing instances of Term.

TermComparator() - Constructor for class org.projog.core.term.TermComparator

Private constructor to force use of TermComparator.TERM_COMPARATOR

termFormatter - Variable in class org.projog.core.event.SpyPoints

termFormatter - Variable in class org.projog.core.kb.KnowledgeBase

termFormatter - Variable in class org.projog.core.predicate.builtin.io.Writef.Formatter

TermFormatter - Class in org.projog.core.term

Produces String representations of Term instances.

TermFormatter(Operands) - Constructor for class org.projog.core.term.TermFormatter

TermGreaterThan - Class in org.projog.core.predicate.builtin.compare

X@>Y - term "greater than" test.

TermGreaterThan() - Constructor for class org.projog.core.predicate.builtin.compare.TermGreaterThan

TermGreaterThanOrEqual - Class in org.projog.core.predicate.builtin.compare

X@>=Y - term "greater than or equal" test.

TermGreaterThanOrEqual() - Constructor for class org.projog.core.predicate.builtin.compare.TermGreaterThanOrEqual

termId - Variable in class org.projog.core.predicate.builtin.classify.CharType.Type

TermLessThan - Class in org.projog.core.predicate.builtin.compare

X@<Y - term "less than" test.

TermLessThan() - Constructor for class org.projog.core.predicate.builtin.compare.TermLessThan

TermLessThanOrEqual - Class in org.projog.core.predicate.builtin.compare

X@=<Y - term "less than or equal" test.

TermLessThanOrEqual() - Constructor for class org.projog.core.predicate.builtin.compare.TermLessThanOrEqual

terms - Variable in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf.Key

termsEqual(Term, Term) - Static method in class org.projog.core.term.TermUtils

TermSplit - Class in org.projog.core.predicate.builtin.construct

atom_chars / atom_codes / number_chars / number_codes

TermSplit(boolean, boolean) - Constructor for class org.projog.core.predicate.builtin.construct.TermSplit

termToUnifyLastElementWith - Variable in class org.projog.core.predicate.builtin.list.Last.LastPredicate

TermType - Enum in org.projog.core.term

Defines the type of terms supported by Projog.

TermType(boolean, boolean, boolean, int) - Constructor for enum org.projog.core.term.TermType

TermUtils - Class in org.projog.core.term

Helper methods for performing common tasks on Term instances.

TermUtils() - Constructor for class org.projog.core.term.TermUtils

Private constructor as all methods are static.

thenPf - Variable in class org.projog.core.predicate.builtin.compound.Disjunction.OptimisedIfThenElse

thirdArg - Variable in class org.projog.core.predicate.builtin.list.Select.SelectPredicate

Throw - Class in org.projog.core.predicate.builtin.flow

throw(X) - throws an exception with the given message.

Throw() - Constructor for class org.projog.core.predicate.builtin.flow.Throw

toArrayOfConjunctions(Term) - Static method in class org.projog.core.kb.KnowledgeBaseUtils

Returns an array of all Terms that make up the conjunction represented by the specified Term.

toAtom(int) - Method in class org.projog.core.predicate.builtin.io.GetChar

toConstraint(Term, Set<ClpVariable>) - Method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

toDecimal(String) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

toDecimalFraction(String) - Method in class org.projog.core.parser.SentenceParser

toExpression(Term, Set<ClpVariable>) - Method in class org.projog.core.predicate.builtin.clp.ExpressionFactories

toInt(Term) - Static method in class org.projog.core.term.TermUtils

Returns the integer value of the Numeric represented by the specified Term.

toInteger(String) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

toIntegerNumber(String) - Method in class org.projog.core.parser.SentenceParser

toJavaUtilList(Term) - Static method in class org.projog.core.term.ListUtils

Returns a new java.util.List containing the contents of the specified org.projog.core.term.List.

Token - Class in org.projog.core.parser

Token(String, TokenType) - Constructor for class org.projog.core.parser.Token

Token(String, TokenType, Token[]) - Constructor for class org.projog.core.parser.Token

TokenParser - Class in org.projog.core.parser

Parses an input stream into discrete 'tokens' that are used to represent Prolog queries and rules.

TokenParser(Reader, Operands) - Constructor for class org.projog.core.parser.TokenParser

TokenType - Enum in org.projog.core.parser

TokenType() - Constructor for enum org.projog.core.parser.TokenType

Told - Class in org.projog.core.predicate.builtin.io

told - closes the current output stream.

Told() - Constructor for class org.projog.core.predicate.builtin.io.Told

toList(Token) - Method in class org.projog.core.parser.SentenceParser

toList(Term) - Method in class org.projog.core.predicate.builtin.construct.Univ

toList(Term) - Static method in class org.projog.core.predicate.builtin.list.Fold

toLong(ArithmeticOperators, Term) - Static method in class org.projog.core.term.TermUtils

Return the long value represented by the specified term.

toLong(Numeric) - Method in class org.projog.core.math.AbstractBinaryIntegerArithmeticOperator

toNumeric(String) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

toPredicate(boolean) - Static method in class org.projog.core.predicate.udp.PredicateUtils

toPredicate(Term) - Method in class org.projog.core.predicate.builtin.construct.Univ

toSingleToken(Token[], int, int, int, boolean) - Method in class org.projog.core.parser.SentenceParser

toSortedJavaUtilList(Term) - Static method in class org.projog.core.term.ListUtils

Returns a new java.util.List containing the sorted contents of the specified org.projog.core.term.List.

toString() - Method in class org.projog.core.event.SpyPoints.SpyPointEvent

toString() - Method in class org.projog.core.parser.Token

toString() - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

toString() - Method in class org.projog.core.predicate.PredicateKey

toString() - Method in class org.projog.core.predicate.udp.ClauseModel

toString() - Method in class org.projog.core.term.Atom

toString() - Method in class org.projog.core.term.DecimalFraction

toString() - Method in class org.projog.core.term.EmptyList

toString() - Method in class org.projog.core.term.IntegerNumber

toString() - Method in class org.projog.core.term.List

toString() - Method in class org.projog.core.term.Structure

Returns a String representation of this term.

toString() - Method in class org.projog.core.term.Variable

toString(int) - Method in class org.projog.core.predicate.builtin.io.GetChar

toString(Term) - Method in class org.projog.core.predicate.builtin.io.Write

toStructureFromNamedBracket(Token) - Method in class org.projog.core.parser.SentenceParser

toStructureFromOperandAndArguments(Token) - Method in class org.projog.core.parser.SentenceParser

toTerm() - Method in class org.projog.core.predicate.PredicateKey

toTerm(String) - Method in class org.projog.core.predicate.builtin.construct.TermSplit

toTerm(Token) - Method in class org.projog.core.parser.SentenceParser

Trace - Class in org.projog.core.predicate.builtin.debug

trace - enables exhaustive tracing.

Trace() - Constructor for class org.projog.core.predicate.builtin.debug.Trace

traceEnabled - Variable in class org.projog.core.event.SpyPoints

traverse(UnaryOperator<Term>) - Method in class org.projog.core.term.List

Used by List.getTerm() and List.copy(Map) to traverse a list without using recursion.

True - Class in org.projog.core.predicate.builtin.bool

true - always succeeds.

True() - Constructor for class org.projog.core.predicate.builtin.bool.True

TRUE - Static variable in class org.projog.core.predicate.builtin.clp.ClpVariable

TRUE - Static variable in class org.projog.core.predicate.udp.ClauseModel

TRUE - Static variable in class org.projog.core.predicate.udp.PredicateUtils

type - Variable in class org.projog.core.parser.Token

type - Variable in class org.projog.core.predicate.builtin.classify.CharType.CharTypePredicate

Type(Atom, Set<String>) - Constructor for class org.projog.core.predicate.builtin.classify.CharType.Type

U

unifiable(Term, Term, ClauseModel) - Method in class org.projog.core.predicate.builtin.kb.Inspect.InspectPredicate

unify(Record, Term, Term, Term) - Method in class org.projog.core.predicate.builtin.db.Recorded.RecordedPredicate

unify(Term) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

unify(Term) - Method in class org.projog.core.term.Atom

unify(Term) - Method in class org.projog.core.term.DecimalFraction

unify(Term) - Method in class org.projog.core.term.EmptyList

unify(Term) - Method in class org.projog.core.term.IntegerNumber

unify(Term) - Method in class org.projog.core.term.List

unify(Term) - Method in class org.projog.core.term.Structure

unify(Term) - Method in interface org.projog.core.term.Term

Attempts to unify this term to the specified term.

unify(Term) - Method in class org.projog.core.term.Variable

unify(Term[], Term[]) - Static method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicate

Unifies the arguments in the head (consequent) of a clause with a query.

unify(Term[], Term[]) - Static method in class org.projog.core.term.TermUtils

Attempts to unify all corresponding Terms in the specified arrays.

unify(Term, Term) - Method in class org.projog.core.predicate.builtin.classify.CharType.Type

Unify(Numeric) - Constructor for class org.projog.core.predicate.builtin.compare.Is.Unify

unifyClpVariable(ClpVariable, Term) - Static method in class org.projog.core.predicate.builtin.clp.ClpVariable

unifyLong(Term) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

unifyVariablesWithAttributes(Variable, Variable) - Static method in class org.projog.core.term.Variable

Unify two variables that both have attributes.

UnifyWithOccursCheck - Class in org.projog.core.predicate.builtin.compare

unify_with_occurs_check(X, Y) - an equality test using sound unification.

UnifyWithOccursCheck() - Constructor for class org.projog.core.predicate.builtin.compare.UnifyWithOccursCheck

Univ - Class in org.projog.core.predicate.builtin.construct

X=..L - "univ".

Univ() - Constructor for class org.projog.core.predicate.builtin.construct.Univ

unknownPredicate(PredicateKey) - Method in class org.projog.core.predicate.Predicates

UnknownPredicate - Class in org.projog.core.predicate

Represents all predicates that a KnowledgeBase has no definition of.

UnknownPredicate(KnowledgeBase, PredicateKey) - Constructor for class org.projog.core.predicate.UnknownPredicate

UNNAMED_BRACKET - org.projog.core.parser.TokenType

update(Expression, Function<VariableState, VariableStateResult>) - Method in class org.projog.core.predicate.builtin.clp.CoreConstraintStore

updateChainIterator() - Method in class org.projog.core.predicate.builtin.db.RecordedDatabase.DatabaseIterator

updateExistingPredicate(PredicateKey, UserDefinedPredicateFactory) - Method in class org.projog.core.predicate.Predicates

USER_INPUT_HANDLE - Static variable in class org.projog.core.io.FileHandles

The handle of the "standard" input stream.

USER_OUTPUT_HANDLE - Static variable in class org.projog.core.io.FileHandles

The handle of the "standard" output stream.

UserDefinedArithmeticOperator(Predicates, PredicateKey) - Constructor for class org.projog.core.predicate.builtin.kb.AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator

UserDefinedPredicateFactory - Interface in org.projog.core.predicate.udp

Maintains a record of the clauses that define a user defined predicate.

userDefinedPredicates - Variable in class org.projog.core.parser.ProjogSourceReader

userDefinedPredicates - Variable in class org.projog.core.predicate.Predicates

The user-defined predicates (i.e.

V

value - Variable in class org.projog.core.parser.Token

value - Variable in class org.projog.core.predicate.builtin.db.Record

value - Variable in class org.projog.core.predicate.builtin.db.Recorded.RecordedPredicate

value - Variable in class org.projog.core.predicate.builtin.db.RecordedDatabase.Link

value - Variable in class org.projog.core.term.Atom

value - Variable in class org.projog.core.term.DecimalFraction

value - Variable in class org.projog.core.term.IntegerNumber

value - Variable in class org.projog.core.term.Variable

The Term this object is currently instantiated with (or null if it is currently uninstantiated)

valueOf(long) - Static method in class org.projog.core.term.IntegerNumberCache

valueOf(String) - Static method in enum org.projog.core.parser.Operands.Associativity

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.projog.core.parser.Operands.Location

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.projog.core.parser.TokenType

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.projog.core.term.TermType

Returns the enum constant of this type with the specified name.

values - Variable in class org.projog.core.predicate.builtin.list.Fold.Retryable

values() - Static method in enum org.projog.core.parser.Operands.Associativity

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.projog.core.parser.Operands.Location

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.projog.core.parser.TokenType

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in class org.projog.core.predicate.builtin.list.PairsElements

values() - Method in class org.projog.core.predicate.builtin.reif.Dif.MyMap

values() - Static method in enum org.projog.core.term.TermType

Returns an array containing the constants of this enum type, in the order they are declared.

valueToSetSpyPointTo - Variable in class org.projog.core.predicate.builtin.debug.AlterSpyPoint

Variable - Class in org.projog.core.term

Represents an unspecified Term.

Variable() - Constructor for class org.projog.core.term.Variable

Creates an anonymous variable.

Variable(String) - Constructor for class org.projog.core.term.Variable

Variable(String, Map<VariableAttribute, Term>) - Constructor for class org.projog.core.term.Variable

VARIABLE - org.projog.core.parser.TokenType

VARIABLE - org.projog.core.term.TermType

VariableAntecedantClauseAction(ClauseModel, KnowledgeBase) - Constructor for class org.projog.core.predicate.udp.ClauseActionFactory.VariableAntecedantClauseAction

VariableAttribute - Interface in org.projog.core.term

variables - Variable in class org.projog.api.QueryResult

variables - Variable in class org.projog.api.QueryStatement

variables - Variable in class org.projog.core.parser.SentenceParser

A collection of Variables this parser currently knows about (key = the variable name).

variables - Variable in class org.projog.core.predicate.builtin.clp.Resolve.ClpResolvePredicate

variables - Variable in class org.projog.core.predicate.builtin.reif.Dif.MyMap

variablesNotInTemplate - Variable in class org.projog.core.predicate.builtin.compound.AbstractCollectionOf

W

walk(Consumer<Expression>) - Method in class org.projog.core.predicate.builtin.clp.ClpVariable

write() - Static method in class org.projog.core.predicate.builtin.io.Write

write(Term, StringBuilder) - Method in class org.projog.core.term.TermFormatter

Write - Class in org.projog.core.predicate.builtin.io

write(X) - writes a term to the output stream.

Write(boolean) - Constructor for class org.projog.core.predicate.builtin.io.Write

WRITE - Static variable in class org.projog.core.predicate.builtin.io.Open

WriteCanonical - Class in org.projog.core.predicate.builtin.io

write_canonical(X) - writes a term to the output stream.

WriteCanonical() - Constructor for class org.projog.core.predicate.builtin.io.WriteCanonical

writeChar(int) - Method in class org.projog.core.predicate.builtin.io.Writef.Formatter

Writef - Class in org.projog.core.predicate.builtin.io

writef(X,Y) - writes formatted text to the output stream.

Writef() - Constructor for class org.projog.core.predicate.builtin.io.Writef

Writef.Formatter - Class in org.projog.core.predicate.builtin.io

writeInfixOperator(Term, StringBuilder) - Method in class org.projog.core.term.TermFormatter

writeList(Term, StringBuilder) - Method in class org.projog.core.term.TermFormatter

writeln() - Static method in class org.projog.core.predicate.builtin.io.Write

writeNonOperatorPredicate(Term, StringBuilder) - Method in class org.projog.core.term.TermFormatter

writePostfixOperator(Term, StringBuilder) - Method in class org.projog.core.term.TermFormatter

writePredicate(Term, StringBuilder) - Method in class org.projog.core.term.TermFormatter

writePrefixOperator(Term, StringBuilder) - Method in class org.projog.core.term.TermFormatter

writeString(String) - Method in class org.projog.core.predicate.builtin.io.Write

writeString(String) - Method in class org.projog.core.predicate.builtin.io.Writef.Formatter

X

xf - org.projog.core.parser.Operands.Associativity

xf(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents a postfix operator with associativity of xf, else false.

xfx - org.projog.core.parser.Operands.Associativity

xfx(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents an infix operator with associativity of xfx, else false.

xfy - org.projog.core.parser.Operands.Associativity

xfy(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents an infix operator with associativity of xfy, else false.

xor() - Static method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

Y

yf - org.projog.core.parser.Operands.Associativity

yf(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents a postfix operator with associativity of yf, else false.

yfx - org.projog.core.parser.Operands.Associativity

yfx(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents an infix operator with associativity of yfx, else false.

Z

ZERO - Static variable in class org.projog.core.term.IntegerNumberCache

ZeroArgConsequentRule(ClauseModel, PredicateFactory) - Constructor for class org.projog.core.predicate.udp.ClauseActionFactory.ZeroArgConsequentRule

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 Z
All Classes All Packages