Index

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 and Interfaces|All Packages|Constant Field Values|Serialized Form

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

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

AbstractPredicateFactory - Class in org.projog.core.predicate

Deprecated.

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

Deprecated.

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

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

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

+ - performs addition.

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

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 class org.projog.core.ProjogException

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 class org.projog.core.predicate.udp.TabledUserDefinedPredicateFactory

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(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 class org.projog.core.predicate.udp.TabledUserDefinedPredicateFactory

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.

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

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

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

Adds a user defined predicate to this object.

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

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

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

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

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

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

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

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

ArithmeticOperator - Interface in org.projog.core.math

Represents a function that returns a single numerical value.

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.

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

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

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

Atom - Class in org.projog.core.term

Represents a specific object or relationship.

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

ATOM - Enum constant in enum 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

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

B

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 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.

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

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

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

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

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

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

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.

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

Consults the ProjogProperties.getBootstrapScript() for the KnowledgeBase.

C

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 interface org.projog.core.math.ArithmeticOperator

Returns the result of the calculation using the specified arguments.

calculate(Term) - Method in class org.projog.core.math.builtin.Power

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

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

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.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.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

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

Return the Numeric represented by the specified Term.

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

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

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

Represents a clause.

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 - Enum constant in enum org.projog.core.term.TermType

Constraint Logic Programming variable

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

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.NumericEquality

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

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

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

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

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

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

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.DynamicUserDefinedPredicateFactory

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

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

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

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

X,Y - conjunction.

Conjunction(KnowledgeBase) - 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 (,).

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

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.

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

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

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

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

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

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

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

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

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

Returns a copy of this term.

copy(Map) - 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

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

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

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.InterpretedUserDefinedPredicate

create(KnowledgeBase, List) - 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

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

createConstraint(Term, Set) - Method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

createConstraint(Term, Set) - Method in interface org.projog.core.predicate.builtin.clp.ConstraintFactory

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

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

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

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

Returns a PredicateKey for the specified term.

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

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

createList(Collection) - 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.

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.

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

Returns the UserDefinedPredicateFactory for the specified PredicateKey.

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

Creates a QueryPlan for querying the Projog environment.

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.StructureFactory

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

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

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

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

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

current_predicate(X) - unifies with defined predicates.

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

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

!

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

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

Singleton instance.

CutException - Exception Class in org.projog.core.predicate

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

D

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.

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

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

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

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

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

X;Y - disjunction.

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

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

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

E

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

A Term array of length 0.

EMPTY_LIST - Enum constant in enum org.projog.core.term.TermType

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

Singleton instance

EmptyList - Class in org.projog.core.term

Represents a data structure with no Terms.

EndOfStreamException - Exception Class in org.projog.core.parser

Signals a failure to successfully parse Prolog syntax due to incomplete input.

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

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.PredicateKey

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

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 - 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

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

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.RepeatInfinitely

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 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.TailRecursivePredicate

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.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.Tabling

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

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.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.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.PairsElements

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

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.list.SumList

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.construct.Arg

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.SubtractFromList

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

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

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

min_list / max_list min_list(Min, List) - True if Min is the smallest number in List.

F

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.udp.PredicateUtils

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(KnowledgeBase) - Constructor for class org.projog.core.predicate.builtin.compound.FindAll

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.

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

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

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

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

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

foldl(PredicateName, Values, Start, Result) - combines elements of a list into a single term.

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

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.

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

FRACTION - Enum constant in enum org.projog.core.term.TermType

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() - Method in class org.projog.core.parser.Operands.Operand

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() - Method in class org.projog.core.parser.Operands.Operand

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

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

Returns details of all predicates, both user-defined and built-in predicates.

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

Returns all Variables contained in the specified term.

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

Returns the body of the clause. i.e. the bit after the :-

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 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.

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

Deprecated.

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

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

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

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 class org.projog.core.predicate.udp.TabledUserDefinedPredicateFactory

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 class org.projog.core.ProjogException

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 exception class 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. i.e. the bit before the :-

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.

getDescription(PrintStream) - Method in exception class 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.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.

getFileHandles() - Method in class org.projog.core.kb.KnowledgeBase

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

Deprecated.

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

getFirstClause() - Method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

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

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 class org.projog.core.predicate.udp.TabledUserDefinedPredicateFactory

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

Returns an iterator over the clauses in the predicate in proper sequence.

getInfixOperand(String) - Method in class org.projog.core.parser.Operands

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.

getKnowledgeBase() - Method in class org.projog.api.Projog

Returns the KnowledgeBase associated with this object.

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

Deprecated.

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

getLine() - Method in exception class org.projog.core.parser.ParserException

Returns the contents of the line being parsed when the problem occurred.

getLineNumber() - Method in exception class org.projog.core.parser.ParserException

Returns the line number of the line being parsed when the problem occurred.

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.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.

getModel() - Method in interface org.projog.core.predicate.udp.ClauseAction

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 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

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

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 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

Deprecated.

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

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.

getPostfixOperand(String) - Method in class org.projog.core.parser.Operands

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

Deprecated.

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

Deprecated.

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

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

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

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.classify.CharType

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.clp.Resolve

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.compare.Between

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

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

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.compound.BagOf

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.compound.Call

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.compound.Conjunction

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

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

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.compound.IfThen

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.compound.Limit

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

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

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.compound.SetOf

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

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.db.Recorded

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.flow.Cut

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.flow.RepeatInfinitely

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.builtin.kb.RetractAll

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.list.Append

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.list.Fold

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.list.Last

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.list.Length

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.list.MapList

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.list.Member

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

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.list.Nth

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.list.Reverse

getPredicate(Term) - Method in class org.projog.core.predicate.builtin.list.Select

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

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 class org.projog.core.predicate.Predicates

getPredicate(Term) - Method in interface org.projog.core.predicate.udp.ClauseAction

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.StaticUserDefinedPredicateFactory

getPredicate(Term) - Method in class org.projog.core.predicate.udp.TabledUserDefinedPredicateFactory

getPredicate(Term) - Method in class org.projog.core.predicate.UnknownPredicate

getPredicate(Term, Term) - Method in class org.projog.core.predicate.AbstractPredicateFactory

Deprecated.

getPredicate(Term, Term, Term) - Method in class org.projog.core.predicate.AbstractPredicateFactory

Deprecated.

getPredicate(Term, Term, Term, Term) - Method in class org.projog.core.predicate.AbstractPredicateFactory

Deprecated.

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 class org.projog.core.predicate.udp.TabledUserDefinedPredicateFactory

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

Deprecated.

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

getPredicateWithOneArgument(Term) - Method in class org.projog.core.predicate.AbstractPredicateFactory

Deprecated.

getPrefixOperand(String) - Method in class org.projog.core.parser.Operands

getPrefixPriority(String) - Method in class org.projog.core.parser.Operands

Returns the priority (precedence/level) of the prefix operator represented by op.

getPreprocessedArithmeticOperator(Term) - Method in class org.projog.core.math.ArithmeticOperators

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

getProjogListeners() - Method in class org.projog.core.kb.KnowledgeBase

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

Deprecated.

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

getProjogProperties() - Method in class org.projog.core.kb.KnowledgeBase

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.

getSourceId() - Method in class org.projog.core.event.SpyPoints.SpyPointEvent

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

Deprecated.

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).

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.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 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

Deprecated.

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.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 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.

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

Returns id's of all variables defined in the query this object represents.

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

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

H

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

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

hasNext() - Method in class org.projog.core.parser.SentenceParser

I

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

X->Y - if X succeeds then Y is evaluated.

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

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

The functor of structures representing implications (:-).

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

infix(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents an infix operator, else false.

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

Deprecated.

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

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

recorda(X,Y,Z) / recordz(X,Y,Z) - associates a term with a key.

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

clause(X,Y) / retract(X) - matches terms to existing clauses.

inspectClause(KnowledgeBase) - Static method in class org.projog.core.predicate.builtin.kb.Inspect

instantiate(KnowledgeBase, String) - Static method in class org.projog.core.kb.KnowledgeBaseUtils

Returns a new object created using reflection.

INTEGER - Enum constant in enum 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

integerPow(long, long) - Static method in class org.projog.core.math.builtin.Power

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, SpyPoints.SpyPoint, Term) - Constructor for class org.projog.core.predicate.udp.InterpretedUserDefinedPredicate

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

X is Y - evaluate arithmetic expression.

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

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

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

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

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

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.

isDefined(String) - Method in class org.projog.core.parser.Operands

Returns true if commandName represents any known operator, else false.

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

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

isDynamic() - Method in class org.projog.core.predicate.udp.TabledUserDefinedPredicateFactory

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

Returns true is this predicate is dynamic.

isEnabled() - Method in class org.projog.core.event.SpyPoints.SpyPoint

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

Returns true if it is known that all possible solutions have been found, else false.

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

isHandle(String) - Method in class org.projog.core.io.FileHandles

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 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.

isInfix() - Method in class org.projog.core.parser.Operands.Operand

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

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

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

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.

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

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() - Method in enum org.projog.core.term.TermType

isPostfix() - Method in class org.projog.core.parser.Operands.Operand

isPotentialSingleResult() - Method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

isPrefix() - Method in class org.projog.core.parser.Operands.Operand

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.

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

Deprecated.

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

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

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

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

isRetryable() - Method in class org.projog.core.predicate.builtin.clp.BooleanConstraintPredicate

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

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

isRetryable() - Method in class org.projog.core.predicate.builtin.compare.Is

isRetryable() - Method in class org.projog.core.predicate.builtin.compare.PredSort

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.BagOf

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.Call

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

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

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.FindAll

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.IfThen

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

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

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

isRetryable() - Method in class org.projog.core.predicate.builtin.compound.SetOf

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

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

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

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

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

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

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

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

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

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

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

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

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

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

isRetryable() - Method in class org.projog.core.predicate.builtin.list.MemberCheck

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

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

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

isRetryable() - Method in class org.projog.core.predicate.builtin.list.SubList

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.DynamicUserDefinedPredicateFactory

isRetryable() - Method in class org.projog.core.predicate.udp.InterpretedTailRecursivePredicateFactory

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

isRetryable() - Method in class org.projog.core.predicate.udp.TabledUserDefinedPredicateFactory

isRetryable() - Method in class org.projog.core.predicate.UnknownPredicate

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.

isSingleResultIfArgumentImmutable(int) - Method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

isStructure() - Method in enum org.projog.core.term.TermType

isTailRecursiveArgument(int) - Method in class org.projog.core.predicate.udp.TailRecursivePredicateMetaData

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() - Method in enum org.projog.core.term.TermType

J

join(Term, Term) - Method in interface org.projog.core.term.VariableAttribute

K

keys() - Static method in class org.projog.core.predicate.builtin.list.PairsElements

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 - Class in org.projog.core.kb

The central object that connects the various components of an instance of the "core" inference engine.

KnowledgeBaseConsumer - Interface in org.projog.core.kb

KnowledgeBaseServiceLocator - Class in org.projog.core.kb

Associates arbitrary objects with a KnowledgeBase.

KnowledgeBaseUtils - Class in org.projog.core.kb

Helper methods for performing common tasks on KnowledgeBase instances.

L

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

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

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

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 - Class in org.projog.core.predicate.builtin.compound

limit(N, X) - calls the goal represented by a term a maximum number of times.

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

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 - Enum constant in enum org.projog.core.term.TermType

LIST_PREDICATE_NAME - Static variable in class org.projog.core.term.ListFactory

A "." is the functor name for all lists in Prolog.

ListFactory - Class in org.projog.core.term

Static factory methods for creating new instances of List.

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

ListUtils - Class in org.projog.core.term

Helper methods for performing common tasks with Prolog list data structures.

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.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.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.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

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(KnowledgeBase) - Constructor for class org.projog.core.predicate.builtin.list.MapList

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.TailRecursivePredicate

Match the second rule of the tail recursive predicate.

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

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

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

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

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

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

N

newInstance(KnowledgeBase, Class) - Static method in class org.projog.core.kb.KnowledgeBaseUtils

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

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

Attempts to evaluate the query this object represents.

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

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(KnowledgeBase) - Constructor for class org.projog.core.predicate.builtin.compound.Not

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.

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.

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.

nth0() - Static method in class org.projog.core.predicate.builtin.list.Nth

nth1() - Static method in class org.projog.core.predicate.builtin.list.Nth

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 - 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.

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.

O

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(KnowledgeBase) - Constructor for class org.projog.core.predicate.builtin.compound.Once

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

openOutput(String) - Method in class org.projog.core.io.FileHandles

Creates an output file stream to write to the file with the specified name

Operands - Class in org.projog.core.parser

Collection of operands.

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

Operands.Operand - Class in org.projog.core.parser

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 - package org.projog.core.predicate.builtin

Provides built-in predicates to provide functionality not possible in pure Prolog.

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

Predicates that provide reification functionality.

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.

P

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.

parseFile(KnowledgeBase, File) - Static method in class org.projog.core.parser.ProjogSourceReader

Populates the KnowledgeBase with clauses defined in the file.

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 Class in org.projog.core.parser

Signals a failure to successfully parse Prolog syntax.

parseSentence() - Method in class org.projog.core.parser.SentenceParser

Creates a Term from Prolog syntax, terminated by a ., read from this object's CharacterParser.

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

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

placeholder() - Method in class org.projog.core.math.ArithmeticOperators

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

postfix(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents a postfix operator, else false.

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

Predicate - Interface in org.projog.core.predicate

Represents a goal.

PredicateFactory - Interface in org.projog.core.predicate

Returns specialised implementations of Predicate.

PredicateKey - Class in org.projog.core.predicate

Represents the structure of a Term.

PredicateKey(String, int) - Constructor for class org.projog.core.predicate.PredicateKey

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

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

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

predsort(X,Y,Z) - sorts a list using the specified predicate.

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

prefix(String) - Method in class org.projog.core.parser.Operands

Returns true if op represents a prefix operator, else false.

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.PredicateFactory

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

preprocess(Term) - Method in class org.projog.core.predicate.UnknownPredicate

PreprocessableArithmeticOperator - Interface in org.projog.core.math

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.

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.

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 Class in org.projog.core

An exception that provides information on an error within the Projog environment.

ProjogException(String) - Constructor for exception class org.projog.core.ProjogException

ProjogException(String, Throwable) - Constructor for exception class org.projog.core.ProjogException

ProjogListener - Interface in org.projog.core.event

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 - 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.

ProjogStackTraceElement - Class in org.projog.api

An element in a stack trace, as returned by Projog.getStackTrace(Throwable).

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

QueryPlan - Class in org.projog.api

Represents a plan for executing a Prolog query.

QueryResult - Class in org.projog.api

Represents an executing query.

QueryStatement - Class in org.projog.api

Represents a query.

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

The functor of structures representing questions (i.e. queries) (?-).

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

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

random_permutation(X,Y) - produces a random permutation of a list.

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

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

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(KnowledgeBase) - Constructor for class org.projog.core.predicate.builtin.db.Recorded

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

recordZ() - Static method in class org.projog.core.predicate.builtin.db.InsertRecord

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

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

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

repeat - always succeeds.

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

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

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

label([X]) - assigns concrete values to the given CLP variables.

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

retract(KnowledgeBase) - 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(KnowledgeBase) - Constructor for class org.projog.core.predicate.builtin.kb.RetractAll

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

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

S

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

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

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

SentenceParser - Class in org.projog.core.parser

Parses Prolog syntax representing rules including operators.

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.

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.math.builtin.Power

setKnowledgeBase(KnowledgeBase) - Method in class org.projog.core.predicate.AbstractPredicateFactory

Deprecated.

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

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) - 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) - 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) - 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) - 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.

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

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

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

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, boolean) - Method in class org.projog.core.event.SpyPoints

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.

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

SINGLETON - Static variable in class org.projog.core.predicate.SucceedsNeverPredicate

SINGLETON - Static variable in class org.projog.core.predicate.SucceedsOncePredicate

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

spy() - Static method in class org.projog.core.predicate.builtin.debug.AlterSpyPoint

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

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

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

STRUCTURE - Enum constant in enum org.projog.core.term.TermType

StructureFactory - Class in org.projog.core.term

Creates implementations of Term consisting of a functor (name) and a number of other Term arguments.

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

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

include(X,Y,Z) - filters a list by a goal.

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

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

SucceedsNeverPredicate - Class in org.projog.core.predicate

SucceedsOncePredicate - Class in org.projog.core.predicate

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

sum_list(X,Y) - sums the elements of a list.

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

T

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

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

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

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

table/1 - defines a user defined predicate as using tabled execution.

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

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.

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

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.

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

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

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 atom_chars(A,L) compares the atom A to the list of characters L. atom_codes(A,L) compares the atom A to the list of character codes L. number_chars(N,L) compares the number N to the list of characters L. number_codes(N,L) compares the number N to the list of character codes L.

TermType - Enum in org.projog.core.term

Defines the type of terms supported by Projog.

TermUtils - Class in org.projog.core.term

Helper methods for performing common tasks on Term instances.

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

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.

toExpression(Term, Set) - 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.

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.

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

toLong(ArithmeticOperators, Term) - Static method in class org.projog.core.term.TermUtils

Return the long value represented by the specified term.

toPredicate(boolean) - Static method in class org.projog.core.predicate.udp.PredicateUtils

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.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.Variable

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

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

trace - enables exhaustive tracing.

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

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.udp.PredicateUtils

U

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 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.term.TermUtils

Attempts to unify all corresponding Terms in the specified arrays.

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 - 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

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.

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

Maintains a record of the clauses that define a user defined predicate.

V

valueOf(long) - Static method in class org.projog.core.term.IntegerNumberCache

valueOf(String) - Static method in enum org.projog.core.term.TermType

Returns the enum constant of this type with the specified name.

values() - Static method in class org.projog.core.predicate.builtin.list.PairsElements

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.

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 - Enum constant in enum org.projog.core.term.TermType

VariableAttribute - Interface in org.projog.core.term

W

write() - Static method in class org.projog.core.predicate.builtin.io.Write

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

write(X) - writes a term to the output stream.

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

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

writeln() - Static method in class org.projog.core.predicate.builtin.io.Write

X

xf() - Method in class org.projog.core.parser.Operands.Operand

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() - Method in class org.projog.core.parser.Operands.Operand

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() - Method in class org.projog.core.parser.Operands.Operand

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() - Method in class org.projog.core.parser.Operands.Operand

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() - Method in class org.projog.core.parser.Operands.Operand

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

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 and Interfaces|All Packages|Constant Field Values|Serialized Form