Uses of Interface
org.projog.core.term.Term

Packages that use Term

Package	Description
org.projog.api	Provides a programming interface for Java applications to interact with Projog.
org.projog.core.event	Provides a mechanism for objects to notify and be notified of events.
org.projog.core.io
org.projog.core.kb
org.projog.core.math
org.projog.core.parser	Provides classes for constructing Term objects from Prolog syntax.
org.projog.core.predicate
org.projog.core.predicate.builtin.classify	Predicates for classifying terms.
org.projog.core.predicate.builtin.clp	Predicates to support constraint logic programming.
org.projog.core.predicate.builtin.compare	Predicates for comparing terms, including specific predicates for comparing numeric values.
org.projog.core.predicate.builtin.compound	Predicates for the construction of compound/complex sentences.
org.projog.core.predicate.builtin.construct	Predicates for inspecting the structure of terms.
org.projog.core.predicate.builtin.db	Predicates to support working with the recorded database.
org.projog.core.predicate.builtin.debug	Predicates to aid the debugging of Prolog programs.
org.projog.core.predicate.builtin.flow	Predicates for affecting the flow of goal evaluation on backtracking.
org.projog.core.predicate.builtin.io	Predicates for system input and output with the file system.
org.projog.core.predicate.builtin.kb	Predicates for inspecting, adding and retracting clauses.
org.projog.core.predicate.builtin.list	Predicates for working with list data structures.
org.projog.core.predicate.builtin.reif
org.projog.core.predicate.builtin.time	Predicates to support working with dates and times.
org.projog.core.predicate.udp	Provides functionality to evaluate user defined predicates defined using Prolog syntax.
org.projog.core.term	Contains the building blocks used to construct Prolog programs and queries.

Uses of Term in org.projog.api

Fields in org.projog.api declared as Term

Modifier and Type	Field	Description
private final Term	QueryPlan.parsedInput
private final Term	QueryStatement.parsedInput
private final Term	ProjogStackTraceElement.term

Methods in org.projog.api that return Term

Modifier and Type	Method	Description
Term	QueryPlan.findFirstAsTerm()
Term	QueryStatement.findFirstAsTerm()	Execute the query once and return the Term the single query variable was unified with.
Term	ProjogStackTraceElement.getTerm()	Represents the clause this stack trace element was generated for.
Term	QueryResult.getTerm(String variableId)	Returns the term instantiated to the variable with the specified id.

Methods in org.projog.api that return types with arguments of type Term

Modifier and Type	Method	Description
List<Term>	QueryPlan.findAllAsTerm()
List<Term>	QueryStatement.findAllAsTerm()	Find all solutions generated by the query and return the Term values the single query variable was unified with.
Optional<Term>	QueryPlan.findFirstAsOptionalTerm()
Optional<Term>	QueryStatement.findFirstAsOptionalTerm()	Attempt to execute the query once and return a Term representation of the term the single query variable was unified with.

Methods in org.projog.api with parameters of type Term

Modifier and Type	Method	Description
String	Projog.formatTerm(Term t)	Returns a string representation of the specified Term.
void	QueryStatement.setListOfTerms(String variableId, Term... terms)	Attempts to unify the specified Term values as a Prolog list to the variable with the specified id.
void	QueryStatement.setTerm(String variableId, Term term)	Attempts to unify the specified term to the variable with the specified id.

Method parameters in org.projog.api with type arguments of type Term

Modifier and Type	Method	Description
void	QueryStatement.setListOfTerms(String variableId, List<? extends Term> terms)	Attempts to unify the specified Term values as a Prolog list to the variable with the specified id.

Constructors in org.projog.api with parameters of type Term

Modifier	Constructor	Description
(package private)	ProjogStackTraceElement(PredicateKey key, Term term)
(package private)	QueryResult(PredicateFactory predicateFactory, Term query, Map<String,Variable> variables)	Evaluates a query.
(package private)	QueryStatement(PredicateFactory predicateFactory, Term prologQuery)	Creates a new QueryStatement representing a query specified by prologQuery.

Uses of Term in org.projog.core.event

Fields in org.projog.core.event declared as Term

Modifier and Type	Field	Description
private final Term[]	SpyPoints.SpyPointEvent.args

Methods in org.projog.core.event with parameters of type Term

Modifier and Type	Method	Description
void	SpyPoints.SpyPoint.logCall(Object source, Term[] args)	Notifies listeners of a first attempt to evaluate a goal.
void	SpyPoints.SpyPoint.logExit(Object source, Term[] args, int clauseNumber)	Deprecated.
void	SpyPoints.SpyPoint.logExit(Object source, Term[] args, ClauseModel clause)	Notifies listeners of that an attempt to evaluate a goal has succeeded.
void	SpyPoints.SpyPoint.logFail(Object source, Term[] args)	Notifies listeners of that an attempt to evaluate a goal has failed.
void	SpyPoints.SpyPoint.logRedo(Object source, Term[] args)	Notifies listeners of an attempt to re-evaluate a goal.

Constructors in org.projog.core.event with parameters of type Term

Modifier	Constructor	Description
private	SpyPointEvent(PredicateKey key, Term[] args, Object source)
private	SpyPointExitEvent(PredicateKey key, Term[] args, Object source, ClauseModel clauseModel)

Uses of Term in org.projog.core.io

Fields in org.projog.core.io declared as Term

Modifier and Type	Field	Description
private Term	FileHandles.currentInputHandle	Current input used by get_char and read
private Term	FileHandles.currentOutputHandle	Current output used by put_char, nl, write and write_canonical

Methods in org.projog.core.io that return Term

Modifier and Type	Method	Description
Term	FileHandles.getCurrentInputHandle()	Return the Term representing the current input stream.
Term	FileHandles.getCurrentOutputHandle()	Return the Term representing the current output stream.

Methods in org.projog.core.io with parameters of type Term

Modifier and Type	Method	Description
void	FileHandles.close(Term handle)	Closes the stream represented by the specified Term.
void	FileHandles.setInput(Term handle)	Sets the current input stream to the input stream represented by the specified Term.
void	FileHandles.setOutput(Term handle)	Sets the current output stream to the output stream represented by the specified Term.

Uses of Term in org.projog.core.kb

Methods in org.projog.core.kb that return Term

Modifier and Type	Method	Description
static Term[]	KnowledgeBaseUtils.toArrayOfConjunctions(Term t)	Returns an array of all Terms that make up the conjunction represented by the specified Term.

Methods in org.projog.core.kb with parameters of type Term

Modifier and Type	Method	Description
static boolean	KnowledgeBaseUtils.isConjunction(Term t)	Returns true if the specified Term represent a conjunction, else false.
static boolean	KnowledgeBaseUtils.isQuestionOrDirectiveFunctionCall(Term t)	Returns true if the specified Term represents a question or directive, else false.
static boolean	KnowledgeBaseUtils.isSingleAnswer(KnowledgeBase kb, Term term)	Returns true if the predicate represented by the specified Term never succeeds on re-evaluation.
static Term[]	KnowledgeBaseUtils.toArrayOfConjunctions(Term t)	Returns an array of all Terms that make up the conjunction represented by the specified Term.

Uses of Term in org.projog.core.math

Subinterfaces of Term in org.projog.core.math

Modifier and Type	Interface	Description
interface	Numeric	A Term that has a numerical value.

Methods in org.projog.core.math with parameters of type Term

Modifier and Type	Method	Description
final Numeric	AbstractArithmeticOperator.calculate(Term[] args)
Numeric	AbstractArithmeticOperator.PreprocessedBinaryOperator.calculate(Term[] args)
Numeric	AbstractArithmeticOperator.PreprocessedUnaryOperator.calculate(Term[] args)
Numeric	ArithmeticOperator.calculate(Term[] args)	Returns the result of the calculation using the specified arguments.
private Numeric	ArithmeticOperators.calculate(Term term, Term[] args)
int	NumericTermComparator.compare(Term t1, Term t2, ArithmeticOperators operators)	Compares the two arguments, representing arithmetic expressions, for order.
Numeric	ArithmeticOperators.getNumeric(Term t)	Returns the result of evaluating the specified arithmetic expression.
private ArithmeticOperator	ArithmeticOperators.getPreprocessedArithmeticOperator(PredicateKey key, Term argument)
ArithmeticOperator	ArithmeticOperators.getPreprocessedArithmeticOperator(Term argument)
final ArithmeticOperator	AbstractArithmeticOperator.preprocess(Term expression)
ArithmeticOperator	PreprocessableArithmeticOperator.preprocess(Term arg)
private ArithmeticOperator	AbstractArithmeticOperator.preprocessBinaryOperator(Term argument1, Term argument2)
private ArithmeticOperator	AbstractArithmeticOperator.preprocessUnaryOperator(Term argument)

Uses of Term in org.projog.core.parser

Methods in org.projog.core.parser that return Term

Modifier and Type	Method	Description
Term	SentenceParser.parseSentence()	Creates a Term from Prolog syntax, terminated by a ., read from this object's CharacterParser.
private Term	SentenceParser.toList(Token token)
private Term	SentenceParser.toStructureFromNamedBracket(Token token)
private Term	SentenceParser.toStructureFromOperandAndArguments(Token token)
private Term	SentenceParser.toTerm(Token token)

Methods in org.projog.core.parser with parameters of type Term

Modifier and Type	Method	Description
private UserDefinedPredicateFactory	ProjogSourceReader.createOrReturnUserDefinedPredicate(Term t)
private void	ProjogSourceReader.processQuestion(Term t)
private void	ProjogSourceReader.storeParsedTerm(Term parsedTerm)

Uses of Term in org.projog.core.predicate

Methods in org.projog.core.predicate that return Term

Modifier and Type	Method	Description
Term	PredicateKey.toTerm()

Methods in org.projog.core.predicate with parameters of type Term

Modifier and Type	Method	Description
static PredicateKey	PredicateKey.createForTerm(Term t)	Returns a PredicateKey for the specified term.
static PredicateKey	PredicateKey.createFromNameAndArity(Term t)
protected boolean	AbstractSingleResultPredicate.evaluate(Term arg)
final boolean	AbstractSingleResultPredicate.evaluate(Term[] args)
protected boolean	AbstractSingleResultPredicate.evaluate(Term arg1, Term arg2)
protected boolean	AbstractSingleResultPredicate.evaluate(Term arg1, Term arg2, Term arg3)
protected boolean	AbstractSingleResultPredicate.evaluate(Term arg1, Term arg2, Term arg3, Term arg4)
private static String	PredicateKey.getInvalidTypeExceptionMessage(Term t)
protected Predicate	AbstractPredicateFactory.getPredicate(Term arg)
final Predicate	AbstractPredicateFactory.getPredicate(Term[] args)
protected Predicate	AbstractPredicateFactory.getPredicate(Term arg1, Term arg2)
protected Predicate	AbstractPredicateFactory.getPredicate(Term arg1, Term arg2, Term arg3)
protected Predicate	AbstractPredicateFactory.getPredicate(Term arg1, Term arg2, Term arg3, Term arg4)
final Predicate	AbstractSingleResultPredicate.getPredicate(Term[] args)
Predicate	PredicateFactory.getPredicate(Term[] args)	Returns a Predicate to be used in the evaluation of a goal.
Predicate	Predicates.getPredicate(Term t)
Predicate	UnknownPredicate.getPredicate(Term[] args)
PredicateFactory	Predicates.getPredicateFactory(Term term)	Returns the PredicateFactory associated with the specified Term.
PredicateFactory	Predicates.getPreprocessedPredicateFactory(Term term)
PredicateFactory	PreprocessablePredicateFactory.preprocess(Term arg)
PredicateFactory	UnknownPredicate.preprocess(Term arg)

Uses of Term in org.projog.core.predicate.builtin.classify

Fields in org.projog.core.predicate.builtin.classify declared as Term

Modifier and Type	Field	Description
private final Term	CharType.CharTypePredicate.character
(package private) final Term[]	CharType.State.characters
private final Term	CharType.CharTypePredicate.type

Methods in org.projog.core.predicate.builtin.classify that return Term

Modifier and Type	Method	Description
(package private) Term	CharType.State.getCharacter()

Methods in org.projog.core.predicate.builtin.classify with parameters of type Term

Modifier and Type	Method	Description
protected boolean	IsAtom.evaluate(Term arg)
protected boolean	IsAtomic.evaluate(Term arg)
protected boolean	IsCompound.evaluate(Term arg)
protected boolean	IsFloat.evaluate(Term arg)
protected boolean	IsInteger.evaluate(Term arg)
protected boolean	IsList.evaluate(Term arg)
protected boolean	IsNonVar.evaluate(Term arg)
protected boolean	IsNumber.evaluate(Term arg)
protected boolean	IsVar.evaluate(Term arg)
protected Predicate	CharType.getPredicate(Term character, Term type)
(package private) boolean	CharType.Type.unify(Term character, Term type)

Constructors in org.projog.core.predicate.builtin.classify with parameters of type Term

Modifier	Constructor	Description
private	CharTypePredicate(Term character, Term type, CharType.State state)
(package private)	State(Term[] characters, CharType.Type[] characterTypes)

Uses of Term in org.projog.core.predicate.builtin.clp

Classes in org.projog.core.predicate.builtin.clp that implement Term

Modifier and Type	Class	Description
(package private) final class	ClpVariable	A Term that could represent a number of possible numeric values.

Methods in org.projog.core.predicate.builtin.clp that return Term

Modifier and Type	Method	Description
Term[]	ClpVariable.getArgs()
Term	ClpVariable.getArgument(int index)

Methods in org.projog.core.predicate.builtin.clp with parameters of type Term

Modifier and Type	Method	Description
private void	In.assertRange(Term t)
Numeric	ClpVariable.calculate(Term[] args)
org.projog.clp.Constraint	BooleanConstraintPredicate.createConstraint(Term[] args, Set<ClpVariable> vars)
org.projog.clp.Constraint	ConstraintFactory.createConstraint(Term[] args, Set<ClpVariable> vars)
org.projog.clp.Constraint	NumericConstraintPredicate.createConstraint(Term[] args, Set<ClpVariable> vars)
protected boolean	AddExpressionFactory.evaluate(Term functionNameAndArity, Term javaClass)
boolean	Distinct.evaluate(Term arg)
boolean	In.evaluate(Term t, Term range)
boolean	NumericConstraintPredicate.evaluate(Term x, Term y)
private Set<ClpVariable>	Resolve.getAllVariables(Term arg)	find all variables in input argument, and all variables connected to them via constraints
private List<org.projog.clp.Expression>	Distinct.getOrCreateVariables(Term arg)
Predicate	BooleanConstraintPredicate.getPredicate(Term[] args)
Predicate	Resolve.getPredicate(Term arg)
private Set<ClpVariable>	Resolve.getVariablesFromInputArgument(Term arg)	find all variables in the input argument - input argument could be a single variable or a list of variables
private boolean	In.set(Term t, long min, long max)
private boolean	In.setAll(Term t, long min, long max)
private org.projog.clp.Constraint	BooleanConstraintPredicate.toConstraint(Term t, Set<ClpVariable> vars)
org.projog.clp.Expression	ExpressionFactories.toExpression(Term t, Set<ClpVariable> vars)
boolean	ClpVariable.unify(Term t)
private static boolean	ClpVariable.unifyClpVariable(ClpVariable a, Term b)
private boolean	ClpVariable.unifyLong(Term t)

Uses of Term in org.projog.core.predicate.builtin.compare

Classes in org.projog.core.predicate.builtin.compare that implement interfaces with type arguments of type Term

Modifier and Type	Class	Description
private static final class	PredSort.PredSortComparator

Fields in org.projog.core.predicate.builtin.compare declared as Term

Modifier and Type	Field	Description
(package private) final Term	Between.Retryable.middle
private final Term	PredSort.PredSortComparator.predicateName
private final Term	PredSort.PreprocessedPredSort.predicateName

Methods in org.projog.core.predicate.builtin.compare with parameters of type Term

Modifier and Type	Method	Description
protected int	AbstractNumericComparisonPredicate.compare(Term arg1, Term arg2)
int	PredSort.PredSortComparator.compare(Term o1, Term o2)
protected boolean	Compare.evaluate(Term result, Term t1, Term t2)
protected boolean	Equal.evaluate(Term arg1, Term arg2)
protected boolean	Is.evaluate(Term arg1, Term arg2)
boolean	Is.PreprocessedIs.evaluate(Term arg1, Term arg2)
boolean	Is.Unify.evaluate(Term arg1, Term arg2)
protected boolean	NotStrictEquality.evaluate(Term arg1, Term arg2)
protected boolean	NotUnifiable.evaluate(Term arg1, Term arg2)
protected boolean	NumericEquality.evaluate(Term arg1, Term arg2)
protected boolean	NumericGreaterThan.evaluate(Term arg1, Term arg2)
protected boolean	NumericGreaterThanOrEqual.evaluate(Term arg1, Term arg2)
protected boolean	NumericInequality.evaluate(Term arg1, Term arg2)
protected boolean	NumericLessThan.evaluate(Term arg1, Term arg2)
protected boolean	NumericLessThanOrEqual.evaluate(Term arg1, Term arg2)
protected boolean	PredSort.evaluate(Term predicateName, Term input, Term sorted)
protected boolean	StrictEquality.evaluate(Term arg1, Term arg2)
protected boolean	TermGreaterThan.evaluate(Term arg1, Term arg2)
protected boolean	TermGreaterThanOrEqual.evaluate(Term arg1, Term arg2)
protected boolean	TermLessThan.evaluate(Term arg1, Term arg2)
protected boolean	TermLessThanOrEqual.evaluate(Term arg1, Term arg2)
protected boolean	UnifyWithOccursCheck.evaluate(Term arg1, Term arg2)
private static boolean	PredSort.evaluatePredSort(PredicateFactory pf, Term predicateName, Term input, Term sorted)
protected Predicate	Between.getPredicate(Term low, Term high, Term middle)
Predicate	PredSort.PreprocessedPredSort.getPredicate(Term[] args)
private boolean	UnifyWithOccursCheck.isCyclic(Term t)
private boolean	UnifyWithOccursCheck.isCyclic(Term t, Set<Term> parents)
PredicateFactory	Is.preprocess(Term arg)
PredicateFactory	PredSort.preprocess(Term term)

Method parameters in org.projog.core.predicate.builtin.compare with type arguments of type Term

Modifier and Type	Method	Description
private boolean	UnifyWithOccursCheck.isCyclic(Term t, Set<Term> parents)

Constructors in org.projog.core.predicate.builtin.compare with parameters of type Term

Modifier	Constructor	Description
private	PredSortComparator(PredicateFactory pf, Term predicateName)
private	PreprocessedPredSort(PredicateFactory pf, Term predicateName)
(package private)	Retryable(Term middle, long start, long max)

Uses of Term in org.projog.core.predicate.builtin.compound

Fields in org.projog.core.predicate.builtin.compound declared as Term

Modifier and Type	Field	Description
private final Term	AbstractCollectionOf.bag
private Term	Conjunction.ConjunctionPredicate.copySecondArgument
private final Term	AbstractCollectionOf.goal
private final Term	Disjunction.DisjunctionPredicate.inputArg1
private final Term	Disjunction.DisjunctionPredicate.inputArg2
private final Term	Conjunction.ConjunctionPredicate.originalSecondArgument
private final Term	AbstractCollectionOf.template

Fields in org.projog.core.predicate.builtin.compound with type parameters of type Term

Modifier and Type	Field	Description
private Iterator<Map.Entry<AbstractCollectionOf.Key, List<Term>>>	AbstractCollectionOf.itr
(package private) final List<Term>	AbstractCollectionOf.Key.terms

Methods in org.projog.core.predicate.builtin.compound that return Term

Modifier and Type	Method	Description
private static Term	FindAll.createListOfAllSolutions(Term template, Predicate predicate)

Methods in org.projog.core.predicate.builtin.compound with parameters of type Term

Modifier and Type	Method	Description
protected abstract void	AbstractCollectionOf.add(List<Term> l, Term t)
protected void	BagOf.BagOfPredicate.add(List<Term> l, Term t)	"bagof" returns all elements (including duplicates) in the order they were found.
protected void	SetOf.SetOfPredicate.add(List<Term> list, Term newTerm)	"setof" excludes duplicates and orders elements using TermComparator.
private Disjunction.DisjunctionPredicate	Disjunction.createDisjunction(Term firstArg, Term secondArg)
private Predicate	Disjunction.createIfThenElse(Term ifThenTerm, Term elseTerm)
private static Term	FindAll.createListOfAllSolutions(Term template, Predicate predicate)
protected boolean	Conjunction.OptimisedSingletonConjuction.evaluate(Term arg1, Term arg2)
protected boolean	FindAll.evaluate(Term template, Term goal, Term output)
protected boolean	Not.evaluate(Term t)
protected boolean	Not.OptimisedNot.evaluate(Term arg)
protected boolean	Once.evaluate(Term t)
protected boolean	Once.OptimisedOnce.evaluate(Term arg)
private static boolean	FindAll.evaluateFindAll(PredicateFactory pf, Term template, Term goal, Term output)
private static boolean	Not.evaluateNot(Term t, PredicateFactory pf)
private static Predicate	Limit.getLimitPredicate(PredicateFactory pf, Term maxAttempts, Term goal)
protected Predicate	BagOf.getPredicate(Term template, Term goal, Term bag)
Predicate	BagOf.PreprocessedBagOf.getPredicate(Term[] args)
private Predicate	Call.getPredicate(Term arg)
Predicate	Call.getPredicate(Term[] args)
protected Predicate	Conjunction.getPredicate(Term arg1, Term arg2)
protected Predicate	Conjunction.OptimisedRetryableConjuction.getPredicate(Term arg1, Term arg2)
private Predicate	Disjunction.DisjunctionPredicate.getPredicate(PredicateFactory pf, Term t)
protected Predicate	Disjunction.getPredicate(Term firstArg, Term secondArg)
Predicate	Disjunction.OptimisedDisjunction.getPredicate(Term[] args)
Predicate	Disjunction.OptimisedIfThenElse.getPredicate(Term[] args)
Predicate	FindAll.PreprocessedFindAll.getPredicate(Term[] args)
protected Predicate	IfThen.getPredicate(Term conditionTerm, Term thenTerm)
Predicate	IfThen.OptimisedIfThen.getPredicate(Term[] args)
Predicate	Limit.getPredicate(Term maxAttempts, Term goal)
Predicate	Limit.OptimisedLimit.getPredicate(Term[] args)
protected Predicate	SetOf.getPredicate(Term template, Term goal, Term bag)
Predicate	SetOf.PreprocessedSetOf.getPredicate(Term[] args)
private List<Variable>	AbstractCollectionOf.getVariablesNotInTemplate(Term template, Term goal)
private void	AbstractCollectionOf.init(Term template, Term goal)
PredicateFactory	BagOf.preprocess(Term term)
PredicateFactory	Conjunction.preprocess(Term term)
PredicateFactory	Disjunction.preprocess(Term term)
PredicateFactory	FindAll.preprocess(Term term)
PredicateFactory	IfThen.preprocess(Term term)
PredicateFactory	Limit.preprocess(Term term)
PredicateFactory	Not.preprocess(Term term)
PredicateFactory	Once.preprocess(Term term)
PredicateFactory	SetOf.preprocess(Term term)

Method parameters in org.projog.core.predicate.builtin.compound with type arguments of type Term

Modifier and Type	Method	Description
protected abstract void	AbstractCollectionOf.add(List<Term> l, Term t)
protected void	BagOf.BagOfPredicate.add(List<Term> l, Term t)	"bagof" returns all elements (including duplicates) in the order they were found.
protected void	SetOf.SetOfPredicate.add(List<Term> list, Term newTerm)	"setof" excludes duplicates and orders elements using TermComparator.

Constructors in org.projog.core.predicate.builtin.compound with parameters of type Term

Modifier	Constructor	Description
protected	AbstractCollectionOf(PredicateFactory pf, Term template, Term goal, Term bag)
private	BagOfPredicate(PredicateFactory pf, Term template, Term goal, Term bag)
private	ConjunctionPredicate(Predicate firstPredicate, PredicateFactory secondPredicateFactory, Term secondArgument)
private	DisjunctionPredicate(PredicateFactory pf1, PredicateFactory pf2, Term inputArg1, Term inputArg2)
private	SetOfPredicate(PredicateFactory pf, Term template, Term goal, Term bag)

Uses of Term in org.projog.core.predicate.builtin.construct

Fields in org.projog.core.predicate.builtin.construct declared as Term

Modifier and Type	Field	Description
(package private) final Term	AtomConcat.Retryable.arg1
(package private) final Term	AtomConcat.Retryable.arg2

Methods in org.projog.core.predicate.builtin.construct that return Term

Modifier and Type	Method	Description
protected Term	TermSplit.charToTerm(char c)
private Term	Functor.createTerm(Term functor, Term arity)	Creates a term using the given functor (name) and arity (number of arguments).
private Term	Univ.toList(Term t)
private Term	Univ.toPredicate(Term t)
private Term	TermSplit.toTerm(String s)

Methods in org.projog.core.predicate.builtin.construct with parameters of type Term

Modifier and Type	Method	Description
private void	TermSplit.appendListElementsToString(StringBuffer sb, Term t)
private void	AtomConcat.assertAtomOrVariable(Term t)
private Term	Functor.createTerm(Term functor, Term arity)	Creates a term using the given functor (name) and arity (number of arguments).
protected boolean	Arg.evaluate(Term arg1, Term arg2, Term arg3)
private boolean	AtomConcat.evaluate(Term arg1, Term arg2, Term arg3)
protected boolean	CopyTerm.evaluate(Term arg1, Term arg2)
protected boolean	Functor.evaluate(Term term, Term functor, Term arity)
protected boolean	NumberVars.evaluate(Term arg)
protected boolean	NumberVars.evaluate(Term arg1, Term arg2, Term arg3)
protected boolean	TermSplit.evaluate(Term arg1, Term arg2)
boolean	Univ.evaluate(Term arg1, Term arg2)
private boolean	TermSplit.evaluateWithConcreteFirstArgument(Term arg1, Term arg2)	Converts arg1 to a list and attempts to unify it with arg2.
private boolean	TermSplit.evaluateWithVariableFirstArgument(Term arg1, Term arg2)	Converts arg2 from a list to an atom and attempts to unify it with arg1.
protected Predicate	AtomConcat.getPredicate(Term prefix, Term suffix, Term combined)
private boolean	AtomConcat.isAtom(Term t)
private boolean	TermSplit.isNotList(Term t)
private void	TermSplit.isValidConcreteFirstArgument(Term arg)
private long	NumberVars.numberVars(Term term, long start)
private Term	Univ.toList(Term t)
private Term	Univ.toPredicate(Term t)

Constructors in org.projog.core.predicate.builtin.construct with parameters of type Term

Modifier	Constructor	Description
(package private)	Retryable(Term arg1, Term arg2, String combined)

Uses of Term in org.projog.core.predicate.builtin.db

Fields in org.projog.core.predicate.builtin.db declared as Term

Modifier and Type	Field	Description
private final Term	Recorded.RecordedPredicate.key
private final Term	Recorded.RecordedPredicate.reference
private final Term	Record.value
private final Term	Recorded.RecordedPredicate.value
(package private) final Term	RecordedDatabase.Link.value

Methods in org.projog.core.predicate.builtin.db that return Term

Modifier and Type	Method	Description
(package private) Term	Record.getKey()
(package private) Term	Record.getValue()

Methods in org.projog.core.predicate.builtin.db with parameters of type Term

Modifier and Type	Method	Description
(package private) IntegerNumber	RecordedDatabase.add(PredicateKey key, Term value, boolean addLast)	Associates a value with a key.
private RecordedDatabase.Link	RecordedDatabase.createLink(RecordedDatabase.Chain chain, Term value, boolean addLast)
protected boolean	Erase.evaluate(Term arg)
protected boolean	InsertRecord.evaluate(Term key, Term value)
protected boolean	InsertRecord.evaluate(Term key, Term value, Term reference)
private Iterator<Record>	Recorded.getIterator(Term key, RecordedDatabase database)
protected Predicate	Recorded.getPredicate(Term key, Term value)
protected Predicate	Recorded.getPredicate(Term key, Term value, Term reference)
private boolean	Recorded.RecordedPredicate.unify(Record record, Term key, Term value, Term reference)

Constructors in org.projog.core.predicate.builtin.db with parameters of type Term

Modifier	Constructor	Description
(package private)	Link(RecordedDatabase.Chain chain, IntegerNumber reference, Term value)
(package private)	Record(PredicateKey key, IntegerNumber reference, Term value)
private	RecordedPredicate(Term key, Term value, Term reference, Iterator<Record> itr)

Uses of Term in org.projog.core.predicate.builtin.debug

Methods in org.projog.core.predicate.builtin.debug with parameters of type Term

Modifier and Type	Method	Description
protected boolean	AlterSpyPoint.evaluate(Term t)

Uses of Term in org.projog.core.predicate.builtin.flow

Methods in org.projog.core.predicate.builtin.flow with parameters of type Term

Modifier and Type	Method	Description
boolean	Throw.evaluate(Term error)
protected Predicate	RepeatSetAmount.getPredicate(Term arg)

Uses of Term in org.projog.core.predicate.builtin.io

Fields in org.projog.core.predicate.builtin.io with type parameters of type Term

Modifier and Type	Field	Description
(package private) final List<Term>	Writef.Formatter.args

Methods in org.projog.core.predicate.builtin.io that return Term

Modifier and Type	Method	Description
(package private) Term	Writef.Formatter.nextArg()

Methods in org.projog.core.predicate.builtin.io with parameters of type Term

Modifier and Type	Method	Description
private String	Writef.align(Writef.Formatter f, Term t)
private void	Seen.close(FileHandles fileHandles, Term handle)
private void	Told.close(FileHandles fileHandles, Term handle)
private String	Writef.concat(Writef.Formatter f, Term t)
protected boolean	Close.evaluate(Term argument)
protected boolean	CurrentInput.evaluate(Term argument)
protected boolean	CurrentOutput.evaluate(Term argument)
protected boolean	GetChar.evaluate(Term argument)
protected boolean	GetCode.evaluate(Term argument)
protected boolean	Op.evaluate(Term arg1, Term arg2, Term arg3)
protected boolean	Open.evaluate(Term fileNameAtom, Term operationAtom, Term variableToAssignTo)
protected boolean	PutChar.evaluate(Term argument)
protected boolean	Read.evaluate(Term argument)
protected boolean	See.evaluate(Term source)
protected boolean	SetInput.evaluate(Term arg)
protected boolean	SetOutput.evaluate(Term arg)
protected boolean	Tab.evaluate(Term arg)
protected boolean	Tell.evaluate(Term source)
protected boolean	Write.evaluate(Term arg)
protected boolean	WriteCanonical.evaluate(Term arg)
protected boolean	Writef.evaluate(Term atom)
protected boolean	Writef.evaluate(Term atom, Term list)
(package private) String	Writef.Formatter.format(Term t)
private String	Write.toString(Term t)

Method parameters in org.projog.core.predicate.builtin.io with type arguments of type Term

Modifier and Type	Method	Description
private StringBuilder	Writef.format(String text, List<Term> args)

Constructor parameters in org.projog.core.predicate.builtin.io with type arguments of type Term

Modifier	Constructor	Description
(package private)	Formatter(String text, List<Term> args, TermFormatter termFormatter)

Uses of Term in org.projog.core.predicate.builtin.kb

Fields in org.projog.core.predicate.builtin.kb declared as Term

Modifier and Type	Field	Description
private final Term	CurrentPredicate.Retryable.arg
private final Term	Inspect.InspectPredicate.clauseBody
private final Term	Inspect.InspectPredicate.clauseHead

Methods in org.projog.core.predicate.builtin.kb that return Term

Modifier and Type	Method	Description
private Term[]	AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator.createArgumentsIncludingResult(Term[] args, Variable result)

Methods in org.projog.core.predicate.builtin.kb with parameters of type Term

Modifier and Type	Method	Description
private void	Inspect.InspectPredicate.backtrack(Term clauseHead, Term clauseBody)
Numeric	AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator.calculate(Term[] args)
private void	ConsultList.consult(Term filename)
private Term[]	AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator.createArgumentsIncludingResult(Term[] args, Variable result)
protected boolean	AddArithmeticOperator.evaluate(Term functionNameAndArity, Term javaClass)
protected boolean	AddPredicateFactory.evaluate(Term arg1, Term arg2)
protected boolean	AddUserDefinedArithmeticOperator.evaluate(Term arg)
protected boolean	Assert.evaluate(Term clause)
protected boolean	Consult.evaluate(Term arg)
protected boolean	ConsultList.evaluate(Term head, Term tail)
protected boolean	Dynamic.evaluate(Term arg)
protected boolean	EnsureLoaded.evaluate(Term arg)
protected boolean	Flag.evaluate(Term key, Term oldValue, Term newValue)
protected boolean	Listing.evaluate(Term arg)
protected boolean	RetractAll.evaluate(Term t)
protected Predicate	CurrentPredicate.getPredicate(Term arg)
protected Predicate	Inspect.getPredicate(Term clauseHead)
protected Predicate	Inspect.getPredicate(Term clauseHead, Term clauseBody)
private String	EnsureLoaded.getResourceName(Term arg)
private void	Flag.put(PredicateKey pk, Term value)
private boolean	Inspect.InspectPredicate.unifiable(Term clauseHead, Term clauseBody, ClauseModel clauseModel)

Constructors in org.projog.core.predicate.builtin.kb with parameters of type Term

Modifier	Constructor	Description
private	InspectPredicate(Term clauseHead, Term clauseBody, Iterator<ClauseModel> implications)
private	Retryable(Term arg, Set<PredicateKey> keys)

Uses of Term in org.projog.core.predicate.builtin.list

Fields in org.projog.core.predicate.builtin.list declared as Term

Modifier and Type	Field	Description
(package private) final Term	Fold.OptimisedFold.action
private final Term	Fold.Retryable.action
private final Term	MapList.Retryable.action
(package private) Term	Reverse.ReversePredicate.arg1
(package private) Term	Reverse.ReversePredicate.arg2
(package private) Term	Reverse.ReversePredicate.arg3
(package private) Term	Reverse.ReversePredicate.arg4
(package private) Term	Append.AppendPredicate.concatenated
private Term	Member.MemberPredicate.currentList
private final Term	Member.MemberPredicate.element
(package private) final Term	Nth.Retryable.element
(package private) Term	Select.SelectPredicate.firstArg
(package private) Term	Select.SelectPredicate.fourthArg
(package private) final Term	Nth.Retryable.index
(package private) Term	Last.LastPredicate.last
(package private) final Term	Length.Retryable.length
(package private) final Term	Length.Retryable.list
(package private) Term	Nth.Retryable.list
(package private) Term	Last.LastPredicate.newHead
private final Term	Member.MemberPredicate.originalList
(package private) Term	Append.AppendPredicate.prefix
private final Term	Fold.Retryable.result
(package private) Term	Select.SelectPredicate.secondArg
private final Term	Fold.Retryable.start
(package private) Term	Append.AppendPredicate.suffix
(package private) Term	Last.LastPredicate.tail
(package private) Term	Last.LastPredicate.termToUnifyLastElementWith
(package private) final Term	Select.SelectPredicate.thirdArg

Fields in org.projog.core.predicate.builtin.list with type parameters of type Term

Modifier and Type	Field	Description
private final List<Term>	Fold.Retryable.backtrack1
private final List<Term>	Fold.Retryable.backtrack2
private final List<Term>	MemberCheck.PreprocessedMemberCheck.javaList
private static final Comparator<Term>	KeySort.KEY_VALUE_PAIR_COMPARATOR
private final List<Term>	Fold.Retryable.values

Methods in org.projog.core.predicate.builtin.list that return Term

Modifier and Type	Method	Description
static Term[]	PartialApplicationUtils.createArguments(Term partiallyAppliedFunction, Term... extraArguments)
private Term	AtomicListConcat.split(Term concatenatedResultAtom, String separator)

Methods in org.projog.core.predicate.builtin.list that return types with arguments of type Term

Modifier and Type	Method	Description
private List<Term>	Flatten.flattenList(Term input)
private static List<Term>	Fold.toList(Term values)

Methods in org.projog.core.predicate.builtin.list with parameters of type Term

Modifier and Type	Method	Description
static boolean	PartialApplicationUtils.apply(PredicateFactory pf, Term[] args)
private void	Nth.Retryable.backtrack(Term index, Term list, Term element)
private Atom	AtomicListConcat.concat(Term atomList, String separator)
static Term[]	PartialApplicationUtils.createArguments(Term partiallyAppliedFunction, Term... extraArguments)
protected boolean	AppendListOfLists.evaluate(Term listOfLists, Term termToUnifyWith)
protected boolean	AtomicListConcat.evaluate(Term atomList, Term concatenatedResultAtom)
protected boolean	AtomicListConcat.evaluate(Term atomList, Term separatorAtom, Term concatenatedResultAtom)
protected boolean	Delete.evaluate(Term input, Term element, Term output)
protected boolean	ExtremumList.evaluate(Term input, Term output)
protected boolean	Flatten.evaluate(Term original, Term expected)
protected boolean	KeySort.evaluate(Term original, Term result)
protected boolean	MemberCheck.evaluate(Term element, Term list)
protected boolean	MemberCheck.PreprocessedMemberCheck.evaluate(Term element, Term notUsed)
private boolean	Nth.evaluate(int index, Term list, Term element)
boolean	PairsElements.evaluate(Term pairs, Term values)
protected boolean	Sort.evaluate(Term unsorted, Term sorted)
protected boolean	SortAsSet.evaluate(Term unsorted, Term sorted)
protected boolean	SubList.evaluate(Term partiallyAppliedFunction, Term args, Term filteredOutput)
protected boolean	Subset.evaluate(Term subsetTerm, Term set)
protected boolean	SubtractFromList.evaluate(Term original, Term itemsToRemove, Term result)
private static boolean	Fold.evaluateFold(PredicateFactory pf, Term action, List<Term> values, Term start, Term result)
private static boolean	SubList.evaluateSubList(PredicateFactory pf, Term partiallyAppliedFunction, Term args, Term filteredOutput)
private List<Term>	Flatten.flattenList(Term input)
static PredicateFactory	PartialApplicationUtils.getCurriedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction)
private static Predicate	Fold.getFoldPredicate(PredicateFactory pf, Term action, Term values, Term start, Term result)
private static Predicate	MapList.getMapListPredicate(PredicateFactory pf, Term[] input)
static PredicateFactory	PartialApplicationUtils.getPartiallyAppliedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction, int numberOfExtraArguments)
protected Predicate	Append.getPredicate(Term prefix, Term suffix, Term concatenated)
protected Predicate	Fold.getPredicate(Term atom, Term values, Term start, Term result)
Predicate	Fold.OptimisedFold.getPredicate(Term[] args)
protected Predicate	Last.getPredicate(Term list, Term termToUnifyLastElementWith)
protected Predicate	Length.getPredicate(Term list, Term expectedLength)
Predicate	MapList.getPredicate(Term[] input)
Predicate	MapList.PreprocessedMapList.getPredicate(Term[] args)
protected Predicate	Member.getPredicate(Term element, Term list)
protected Predicate	Nth.getPredicate(Term index, Term list, Term element)
static Predicate	PartialApplicationUtils.getPredicate(PredicateFactory pf, Term action, Term... args)
protected Predicate	Reverse.getPredicate(Term list1, Term list2)
Predicate	Select.getPredicate(Term element, Term inputList, Term outputList)
Predicate	SubList.PreprocessedSubList.getPredicate(Term[] args)
static PredicateFactory	PartialApplicationUtils.getPreprocessedCurriedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction)
static PredicateFactory	PartialApplicationUtils.getPreprocessedPartiallyAppliedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction, int extraArgs)
static boolean	PartialApplicationUtils.isAtomOrStructure(Term arg)
(package private) static boolean	PartialApplicationUtils.isKeyValuePair(Term t)
static boolean	PartialApplicationUtils.isList(Term arg)
private boolean	SubtractFromList.isUnified(Term item, Term itemToRemove)
private boolean	SubList.isValidArguments(Term partiallyAppliedFunction, Term arg)
PredicateFactory	Fold.preprocess(Term arg)
PredicateFactory	MapList.preprocess(Term input)
PredicateFactory	MemberCheck.preprocess(Term term)
PredicateFactory	SubList.preprocess(Term term)
private boolean	SubtractFromList.shouldBeRemoved(Term item, List<Term> itemsToRemoveAsList)
private Term	AtomicListConcat.split(Term concatenatedResultAtom, String separator)
private static List<Term>	Fold.toList(Term values)

Method parameters in org.projog.core.predicate.builtin.list with type arguments of type Term

Modifier and Type	Method	Description
private boolean	KeySort.assertKeyValuePairs(List<Term> elements)
private static boolean	Fold.evaluateFold(PredicateFactory pf, Term action, List<Term> values, Term start, Term result)
private void	SortAsSet.removeDuplicates(List<Term> elements)
private boolean	SubtractFromList.shouldBeRemoved(Term item, List<Term> itemsToRemoveAsList)

Constructors in org.projog.core.predicate.builtin.list with parameters of type Term

Modifier	Constructor	Description
(package private)	AppendPredicate(Term prefix, Term suffix, Term concatenated)
(package private)	LastPredicate(Term last, Term tail, Term termToUnifyLastElementWith)
private	MemberPredicate(Term element, Term originalList)
	OptimisedFold(PredicateFactory pf, Term action)
private	Retryable(PredicateFactory pf, Term action, List<Term> values, Term start, Term result)
private	Retryable(int startLength, Term list, Term length)
private	Retryable(PredicateFactory pf, Term action, List<Term>[] lists)
(package private)	Retryable(Term index, Term list, Term element)
(package private)	ReversePredicate(Term list1, Term list2)
(package private)	SelectPredicate(Term firstArg, Term secondArg, Term thirdArg, Term fourthArg)

Constructor parameters in org.projog.core.predicate.builtin.list with type arguments of type Term

Modifier	Constructor	Description
(package private)	PreprocessedMemberCheck(List<Term> javaList)
private	Retryable(PredicateFactory pf, Term action, List<Term> values, Term start, Term result)

Uses of Term in org.projog.core.predicate.builtin.reif

Methods in org.projog.core.predicate.builtin.reif that return Term

Modifier and Type	Method	Description
private Term	Dif.createTerm(List<? extends Term> args)
Term	Dif.DifVariableAttribute.join(Term a, Term b)

Methods in org.projog.core.predicate.builtin.reif with parameters of type Term

Modifier and Type	Method	Description
private static void	Dif.appendAttribute(Variable v, Term attributeElement)
boolean	Dif.evaluate(Term arg1, Term arg2)
Term	Dif.DifVariableAttribute.join(Term a, Term b)
boolean	Dif.DifVariableAttribute.postUnify(Variable variable, Term input)

Method parameters in org.projog.core.predicate.builtin.reif with type arguments of type Term

Modifier and Type	Method	Description
private Term	Dif.createTerm(List<? extends Term> args)

Uses of Term in org.projog.core.predicate.builtin.time

Methods in org.projog.core.predicate.builtin.time with parameters of type Term

Modifier and Type	Method	Description
private Date	ConvertTime.createDate(Term timestamp)
protected boolean	ConvertTime.evaluate(Term timestamp, Term text)
protected boolean	GetTime.evaluate(Term t)

Uses of Term in org.projog.core.predicate.udp

Fields in org.projog.core.predicate.udp declared as Term

Modifier and Type	Field	Description
private final Term	ClauseModel.antecedent
private final Term[]	SingleRetryableRulePredicateFactory.RetryableRulePredicate.args
private final Term	ClauseModel.consequent
private final Term[]	InterpretedTailRecursivePredicate.currentQueryArgs
private final Term[]	InterpretedTailRecursivePredicate.firstClauseConsequentArgs
private final Term[]	InterpretedTailRecursivePredicateFactory.firstClauseConsequentArgs
private final Term[]	InterpretedTailRecursivePredicate.firstClauseOriginalTerms
private final Term[]	InterpretedTailRecursivePredicateFactory.firstClauseOriginalTerms
private final Term	ClauseModel.original
private final Term[]	InterpretedUserDefinedPredicate.queryArgs
private final Term[]	InterpretedTailRecursivePredicate.secondClauseConsequentArgs
private final Term[]	InterpretedTailRecursivePredicateFactory.secondClauseConsequentArgs
private final Term[]	InterpretedTailRecursivePredicate.secondClauseOriginalTerms
private final Term[]	InterpretedTailRecursivePredicateFactory.secondClauseOriginalTerms
(package private) final Term	KeyFactories.Key2.t1
(package private) final Term	KeyFactories.Key3.t1
(package private) final Term	KeyFactories.Key2.t2
(package private) final Term	KeyFactories.Key3.t2
(package private) final Term	KeyFactories.Key3.t3
private static final Term	ClauseModel.TRUE

Fields in org.projog.core.predicate.udp with type parameters of type Term

Modifier and Type	Field	Description
private ConcurrentHashMap<Term, DynamicUserDefinedPredicateFactory.ClauseActionMetaData>	DynamicUserDefinedPredicateFactory.index
private final LinkedHashMap<Term, ClauseAction>	StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory.map

Methods in org.projog.core.predicate.udp that return Term

Modifier and Type	Method	Description
private static Term	DefiniteClauseGrammerConvertor.appendToEndOfList(Term list, Term newTail)
(package private) static Term	DefiniteClauseGrammerConvertor.convert(Term dcgTerm)
private static Term	DefiniteClauseGrammerConvertor.convertConjunctionOfAtomsAntecedent(Term consequent, Term[] conjunctionOfAtoms)
private static Term	DefiniteClauseGrammerConvertor.convertSingleListTermAntecedent(Term consequent, Term antecedent)
private static Term	DefiniteClauseGrammerConvertor.createNewPredicate(Term original, Term previous, Term next)
Term	ClauseModel.getAntecedent()	Returns the body of the clause.
private static Term	DefiniteClauseGrammerConvertor.getAntecedent(Term dcgTerm)
Term	ClauseModel.getConsequent()	Returns the head of the clause.
private static Term	DefiniteClauseGrammerConvertor.getConsequent(Term dcgTerm)
private Term	TailRecursivePredicateMetaData.getFinalFunction(Term t)
Term	ClauseModel.getOriginal()

Methods in org.projog.core.predicate.udp with parameters of type Term

Modifier and Type	Method	Description
private static Term	DefiniteClauseGrammerConvertor.appendToEndOfList(Term list, Term newTail)
(package private) static Term	DefiniteClauseGrammerConvertor.convert(Term dcgTerm)
private static Term	DefiniteClauseGrammerConvertor.convertConjunctionOfAtomsAntecedent(Term consequent, Term[] conjunctionOfAtoms)
private static Term	DefiniteClauseGrammerConvertor.convertSingleListTermAntecedent(Term consequent, Term antecedent)
private static boolean[]	Clauses.createArray(int numArgs, Term query)
private int	Indexes.createBitmask(Term[] args)
static ClauseModel	ClauseModel.createClauseModel(Term original)
(package private) static Predicate	PredicateUtils.createFailurePredicate(SpyPoints.SpyPoint spyPoint, Term[] args)
(package private) static Clauses	Clauses.createFromActions(KnowledgeBase kb, List<ClauseAction> actions, Term arg)
Object	KeyFactories.KeyFactory.createKey(int[] positions, Term[] args)
Object	KeyFactories.KeyFactory1.createKey(int[] positions, Term[] args)
KeyFactories.Key2	KeyFactories.KeyFactory2.createKey(int[] positions, Term[] args)
KeyFactories.Key3	KeyFactories.KeyFactory3.createKey(int[] positions, Term[] args)
private static Term	DefiniteClauseGrammerConvertor.createNewPredicate(Term original, Term previous, Term next)
private Predicate	StaticUserDefinedPredicateFactory.createPredicate(Term[] args, ClauseAction[] clauses)
(package private) static Predicate	PredicateUtils.createSingleClausePredicate(ClauseAction clause, SpyPoints.SpyPoint spyPoint, Term[] args)
(package private) static Predicate	SingleNonRetryableRulePredicateFactory.evaluateClause(ClauseAction clause, SpyPoints.SpyPoint spyPoint, Term[] args)
private static Term	DefiniteClauseGrammerConvertor.getAntecedent(Term dcgTerm)
private static Term	DefiniteClauseGrammerConvertor.getConsequent(Term dcgTerm)
private Term	TailRecursivePredicateMetaData.getFinalFunction(Term t)
(package private) ClauseAction[]	Index.getMatches(Term[] args)
Predicate	ClauseAction.getPredicate(Term[] input)
Predicate	ClauseActionFactory.AlwaysMatchedFact.getPredicate(Term[] input)
Predicate	ClauseActionFactory.ImmutableConsequentRule.getPredicate(Term[] input)
Predicate	ClauseActionFactory.ImmutableFact.getPredicate(Term[] input)
Predicate	ClauseActionFactory.MutableFact.getPredicate(Term[] input)
Predicate	ClauseActionFactory.MutableRule.getPredicate(Term[] input)
Predicate	ClauseActionFactory.VariableAntecedantClauseAction.getPredicate(Term[] input)
Predicate	ClauseActionFactory.ZeroArgConsequentRule.getPredicate(Term[] input)
Predicate	DynamicUserDefinedPredicateFactory.getPredicate(Term[] args)
InterpretedTailRecursivePredicate	InterpretedTailRecursivePredicateFactory.getPredicate(Term[] args)
Predicate	NeverSucceedsPredicateFactory.getPredicate(Term[] args)
Predicate	SingleNonRetryableRulePredicateFactory.getPredicate(Term[] args)
SingleRetryableRulePredicateFactory.RetryableRulePredicate	SingleRetryableRulePredicateFactory.getPredicate(Term[] args)
Predicate	StaticUserDefinedPredicateFactory.getPredicate(Term[] args)
Predicate	StaticUserDefinedPredicateFactory.IndexablePredicateFactory.getPredicate(Term[] args)
Predicate	StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory.getPredicate(Term[] args)
Predicate	StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory.getPredicate(Term[] args)
Predicate	StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory.getPredicate(Term[] args)
private static boolean	DefiniteClauseGrammerConvertor.hasSingleListWithSingleAtomElement(Term[] terms)
(package private) ClauseAction[]	Indexes.index(Term[] args)
private static boolean	Clauses.isAnonymousVariable(Term arg)
(package private) static boolean	DefiniteClauseGrammerConvertor.isDCG(Term dcgTerm)
(package private) static boolean	ClauseActionFactory.isMatch(ClauseAction clause, Term[] queryArgs)	Returns true if the arguments unify with the consequent of the clause.
private boolean	InterpretedTailRecursivePredicateFactory.isRetryable(Term[] args)
private static boolean	TailRecursivePredicateMetaData.isTail(Term list, Term term)
private static List<ClauseAction>	StaticUserDefinedPredicateFactory.optimisePredicateFactory(KnowledgeBase kb, ClauseAction[] data, Term arg)
PredicateFactory	SingleNonRetryableRulePredicateFactory.preprocess(Term arg)
PredicateFactory	SingleRetryableRulePredicateFactory.preprocess(Term arg)
PredicateFactory	StaticUserDefinedPredicateFactory.IndexablePredicateFactory.preprocess(Term arg)
PredicateFactory	StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory.preprocess(Term arg)
PredicateFactory	StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory.preprocess(Term arg)
PredicateFactory	StaticUserDefinedPredicateFactory.preprocess(Term arg)
PredicateFactory	StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory.preprocess(Term arg)
static boolean	InterpretedTailRecursivePredicate.unify(Term[] inputArgs, Term[] consequentArgs)	Unifies the arguments in the head (consequent) of a clause with a query.

Constructors in org.projog.core.predicate.udp with parameters of type Term

Modifier	Constructor	Description
private	ClauseModel(Term original, Term consequent, Term antecedent)
(package private)	InterpretedTailRecursivePredicate(SpyPoints.SpyPoint spyPoint, Term[] inputArgs, PredicateFactory[] firstClausePredicateFactories, Term[] firstClauseConsequentArgs, Term[] firstClauseOriginalTerms, PredicateFactory[] secondClausePredicateFactories, Term[] secondClauseConsequentArgs, Term[] secondClauseOriginalTerms, boolean isRetryable)
	InterpretedUserDefinedPredicate(Iterator<ClauseAction> clauseActions, SpyPoints.SpyPoint spyPoint, Term[] queryArgs)
(package private)	Key2(Term t1, Term t2)
(package private)	Key3(Term t1, Term t2, Term t3)
	RetryableRulePredicate(ClauseAction clause, SpyPoints.SpyPoint spyPoint, Term[] queryArgs)

Uses of Term in org.projog.core.term

Classes in org.projog.core.term that implement Term

Modifier and Type	Class	Description
final class	Atom	Represents a specific object or relationship.
final class	DecimalFraction	Represents a value of the primitive type double as a Term.
final class	EmptyList	Represents a data structure with no Terms.
final class	IntegerNumber	Represents a value of the primitive type long as a Term.
final class	List	Represents a data structure with two Terms - a head and a tail.
final class	Structure	A Term consisting of a functor (name) and a number of other Term arguments.
final class	Variable	Represents an unspecified Term.

Classes in org.projog.core.term that implement interfaces with type arguments of type Term

Modifier and Type	Class	Description
final class	TermComparator	An implementation of Comparator for comparing instances of Term.

Fields in org.projog.core.term declared as Term

Modifier and Type	Field	Description
private final Term[]	Structure.args
static final Term[]	TermUtils.EMPTY_ARRAY	A Term array of length 0.
private final Term	List.head
private final Term	List.tail
private Term	Variable.value	The Term this object is currently instantiated with (or null if it is currently uninstantiated)

Fields in org.projog.core.term with type parameters of type Term

Modifier and Type	Field	Description
private final Map<VariableAttribute, Term>	Variable.attributes	A collection of attributes associated with the variable.

Methods in org.projog.core.term that return Term

Modifier and Type	Method	Description
Term	EmptyList.copy(Map<Variable,Variable> sharedVariables)
Term	Term.copy(Map<Variable,Variable> sharedVariables)	Returns a copy of this term.
static Term[]	TermUtils.copy(Term... input)	Returns copies of the specified {link Term}s
Term	Variable.copy(Map<Variable,Variable> sharedVariables)
static Term	ListFactory.createList(Collection<? extends Term> terms)	Returns a new List with the specified terms and a empty list as the final tail element.
static Term	ListFactory.createList(Term[] terms)	Returns a new List with the specified terms and a empty list as the final tail element.
static Term	ListFactory.createList(Term[] terms, Term tail)	Returns a new List with the specified terms and the second parameter as the tail element.
static Term	ListFactory.createListOfLength(int length)	Returns a new list of the specified length where is each element is a variable.
static Term	Structure.createStructure(String functor, Term[] args)	Factory method for creating Structure instances.
Term[]	Atom.getArgs()
Term[]	DecimalFraction.getArgs()
Term[]	EmptyList.getArgs()
Term[]	IntegerNumber.getArgs()
Term[]	List.getArgs()
Term[]	Structure.getArgs()
Term[]	Term.getArgs()	Returns an array of this terms's arguments.
Term[]	Variable.getArgs()	Calls Term.getArgs() on the Term this variable is instantiated with.
Term	Atom.getArgument(int index)
Term	DecimalFraction.getArgument(int index)
Term	EmptyList.getArgument(int index)
Term	IntegerNumber.getArgument(int index)
Term	List.getArgument(int index)
Term	Structure.getArgument(int index)
Term	Term.getArgument(int index)	Returns the term at the specified position in this term's arguments.
Term	Variable.getArgument(int index)	Calls Term.getArgument(int) on the Term this variable is instantiated with.
Term	Variable.getAttributeOrDefault(VariableAttribute attributeKey, Term defaultValue)
default Term	Term.getBound()	Returns the term this object is bound to.
Term	Variable.getBound()
private static Term	TermFormatter.getList(Term t)
Term	Term.getTerm()	Returns the current instantiated state of this term.
Term	Variable.getTerm()
private Term	Variable.getValue()
Term	VariableAttribute.join(Term a, Term b)

Methods in org.projog.core.term that return types with arguments of type Term

Modifier and Type	Method	Description
static List<Term>	ListUtils.toJavaUtilList(Term list)	Returns a new java.util.List containing the contents of the specified org.projog.core.term.List.
static List<Term>	ListUtils.toSortedJavaUtilList(Term unsorted)	Returns a new java.util.List containing the sorted contents of the specified org.projog.core.term.List.

Methods in org.projog.core.term with parameters of type Term

Modifier and Type	Method	Description
static void	TermUtils.assertType(Term t, TermType type)
static void	TermUtils.backtrack(Term[] terms)	Backtracks all Terms in the specified array.
DecimalFraction	DecimalFraction.calculate(Term[] args)
IntegerNumber	IntegerNumber.calculate(Term[] args)
private boolean	TermFormatter.canBePreceededByEqualPriority(Term next)
static Numeric	TermUtils.castToNumeric(Term t)	Return the Numeric represented by the specified Term.
int	TermComparator.compare(Term t1, Term t2)	Compares the two arguments for order.
private int	TermComparator.compareStructures(Term t1, Term t2)
static Term[]	TermUtils.copy(Term... input)	Returns copies of the specified {link Term}s
static Term	ListFactory.createList(Term[] terms)	Returns a new List with the specified terms and a empty list as the final tail element.
static Term	ListFactory.createList(Term[] terms, Term tail)	Returns a new List with the specified terms and the second parameter as the tail element.
static List	ListFactory.createList(Term head, Term tail)	Returns a new List with specified head and tail.
static Term	Structure.createStructure(String functor, Term[] args)	Factory method for creating Structure instances.
String	TermFormatter.formatTerm(Term t)	Returns a string representation of the specified Term.
static Set<Variable>	TermUtils.getAllVariablesInTerm(Term argument)	Returns all Variables contained in the specified term.
private static void	TermUtils.getAllVariablesInTerm(Term argument, Set<Variable> variables)
static String	TermUtils.getAtomName(Term t)	Return the name of the Atom represented by the specified Atom.
Term	Variable.getAttributeOrDefault(VariableAttribute attributeKey, Term defaultValue)
private static Term	TermFormatter.getList(Term t)
private int	TermFormatter.getPriority(Term next)
private static boolean	Structure.isImmutable(Term[] args)
private boolean	TermFormatter.isInfixOperator(Term t)
static boolean	ListUtils.isMember(Term element, Term list)	Checks is a term can be unified with at least one element of a list.
private boolean	TermFormatter.isPostfixOperator(Term t)
private boolean	TermFormatter.isPrefixOperator(Term t)
Term	VariableAttribute.join(Term a, Term b)
boolean	VariableAttribute.postUnify(Variable variable, Term attributeValue)
void	Variable.putAttribute(VariableAttribute attributeKey, Term attributeValue)
private boolean	TermFormatter.shouldLeftArgumentBeBracketed(Term next, Term parentInfixTerm, int parentInfixPriority)
private boolean	TermFormatter.shouldRightArgumentBeBracketed(Term next, Term parentInfixTerm, int parentInfixPriority)
static boolean	TermUtils.termsEqual(Term a, Term b)
static int	TermUtils.toInt(Term t)	Returns the integer value of the Numeric represented by the specified Term.
static List<Term>	ListUtils.toJavaUtilList(Term list)	Returns a new java.util.List containing the contents of the specified org.projog.core.term.List.
static long	TermUtils.toLong(ArithmeticOperators operators, Term t)	Return the long value represented by the specified term.
static List<Term>	ListUtils.toSortedJavaUtilList(Term unsorted)	Returns a new java.util.List containing the sorted contents of the specified org.projog.core.term.List.
boolean	Atom.unify(Term t)
boolean	DecimalFraction.unify(Term t)
boolean	EmptyList.unify(Term t)
boolean	IntegerNumber.unify(Term t)
boolean	List.unify(Term t1)
boolean	Structure.unify(Term t)
boolean	Term.unify(Term t)	Attempts to unify this term to the specified term.
static boolean	TermUtils.unify(Term[] queryArgs, Term[] consequentArgs)	Attempts to unify all corresponding Terms in the specified arrays.
boolean	Variable.unify(Term t)
private void	TermFormatter.write(Term t, StringBuilder sb)
private void	TermFormatter.writeInfixOperator(Term p, StringBuilder sb)
private void	TermFormatter.writeList(Term p, StringBuilder sb)
private void	TermFormatter.writeNonOperatorPredicate(Term p, StringBuilder sb)
private void	TermFormatter.writePostfixOperator(Term p, StringBuilder sb)
private void	TermFormatter.writePredicate(Term p, StringBuilder sb)
private void	TermFormatter.writePrefixOperator(Term p, StringBuilder sb)

Method parameters in org.projog.core.term with type arguments of type Term

Modifier and Type	Method	Description
static Term	ListFactory.createList(Collection<? extends Term> terms)	Returns a new List with the specified terms and a empty list as the final tail element.
private List	List.traverse(UnaryOperator<Term> f)	Used by List.getTerm() and List.copy(Map) to traverse a list without using recursion.

Constructors in org.projog.core.term with parameters of type Term

Modifier	Constructor	Description
	List(Term head, Term tail)	Creates a new list with the specified head and tail.
private	Structure(String functor, Term[] args, boolean immutable)	Private constructor to force use of Structure.createStructure(String, Term[])

Constructor parameters in org.projog.core.term with type arguments of type Term

Modifier	Constructor	Description
private	Variable(String id, Map<VariableAttribute, Term> attributes)