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.math.builtin	Provides arithmetic operators.
org.projog.core.parser	Provides classes for constructing Term objects from Prolog syntax.
org.projog.core.predicate
org.projog.core.predicate.builtin.bool	Predicates to explicitly specify when a goal succeeds of fails.
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	Predicates that provide reification functionality.
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

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.

Uses of Term in org.projog.core.event

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

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

Uses of Term in org.projog.core.io

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 term)
Numeric	ArithmeticOperator.calculate(Term args)	Returns the result of the calculation using the specified arguments.
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.
ArithmeticOperator	ArithmeticOperators.getPreprocessedArithmeticOperator(Term argument)
final ArithmeticOperator	AbstractArithmeticOperator.preprocess(Term expression)
ArithmeticOperator	PreprocessableArithmeticOperator.preprocess(Term arg)

Uses of Term in org.projog.core.math.builtin

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

Modifier and Type	Method	Description
Numeric	Power.calculate(Term term)

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.

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)
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)
final Predicate	AbstractPredicateFactory.getPredicate(Term term)	Deprecated.
protected Predicate	AbstractPredicateFactory.getPredicate(Term arg1, Term arg2)	Deprecated.
protected Predicate	AbstractPredicateFactory.getPredicate(Term arg1, Term arg2, Term arg3)	Deprecated.
protected Predicate	AbstractPredicateFactory.getPredicate(Term arg1, Term arg2, Term arg3, Term arg4)	Deprecated.
final Predicate	AbstractSingleResultPredicate.getPredicate(Term term)
Predicate	PredicateFactory.getPredicate(Term term)	Returns a Predicate to be used in the evaluation of a goal.
Predicate	Predicates.getPredicate(Term t)
Predicate	UnknownPredicate.getPredicate(Term term)
PredicateFactory	Predicates.getPredicateFactory(Term term)	Returns the PredicateFactory associated with the specified Term.
protected Predicate	AbstractPredicateFactory.getPredicateWithOneArgument(Term arg)	Deprecated.
PredicateFactory	Predicates.getPreprocessedPredicateFactory(Term term)
default PredicateFactory	PredicateFactory.preprocess(Term term)
PredicateFactory	UnknownPredicate.preprocess(Term term)

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

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

Modifier and Type	Method	Description
Predicate	Fail.getPredicate(Term term)
Predicate	True.getPredicate(Term term)

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

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)
Predicate	CharType.getPredicate(Term input)

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

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

Modifier and Type	Method	Description
org.projog.clp.Constraint	BooleanConstraintPredicate.createConstraint(Term term, Set<org.projog.core.predicate.builtin.clp.ClpVariable> vars)
org.projog.clp.Constraint	ConstraintFactory.createConstraint(Term term, Set<org.projog.core.predicate.builtin.clp.ClpVariable> vars)
org.projog.clp.Constraint	NumericConstraintPredicate.createConstraint(Term term, Set<org.projog.core.predicate.builtin.clp.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)
Predicate	BooleanConstraintPredicate.getPredicate(Term term)
Predicate	Resolve.getPredicate(Term input)
org.projog.clp.Expression	ExpressionFactories.toExpression(Term t, Set<org.projog.core.predicate.builtin.clp.ClpVariable> vars)

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

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

Modifier and Type	Method	Description
protected boolean	Compare.evaluate(Term result, Term t1, Term t2)
protected boolean	Equal.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	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)
Predicate	Between.getPredicate(Term term)
Predicate	Is.getPredicate(Term term)
Predicate	PredSort.getPredicate(Term term)
PredicateFactory	Is.preprocess(Term term)
PredicateFactory	PredSort.preprocess(Term term)

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

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

Modifier and Type	Method	Description
Predicate	BagOf.getPredicate(Term term)
Predicate	Call.getPredicate(Term term)
Predicate	Conjunction.getPredicate(Term term)
Predicate	Disjunction.getPredicate(Term term)
Predicate	FindAll.getPredicate(Term term)
Predicate	IfThen.getPredicate(Term term)
Predicate	Limit.getPredicate(Term term)
Predicate	Not.getPredicate(Term term)
Predicate	Once.getPredicate(Term t)
Predicate	SetOf.getPredicate(Term term)
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)

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

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

Modifier and Type	Method	Description
protected Term	TermSplit.charToTerm(char c)

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

Modifier and Type	Method	Description
protected boolean	Arg.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)
Predicate	AtomConcat.getPredicate(Term input)

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

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

Modifier and Type	Method	Description
protected boolean	Erase.evaluate(Term arg)
protected boolean	InsertRecord.evaluate(Term key, Term value)
protected boolean	InsertRecord.evaluate(Term key, Term value, Term reference)
Predicate	Recorded.getPredicate(Term input)

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)
Predicate	Cut.getPredicate(Term term)
Predicate	RepeatInfinitely.getPredicate(Term term)
Predicate	RepeatSetAmount.getPredicate(Term term)

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

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

Modifier and Type	Method	Description
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)

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

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

Modifier and Type	Method	Description
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	Tabling.evaluate(Term arg)
Predicate	CurrentPredicate.getPredicate(Term arg)
Predicate	Inspect.getPredicate(Term term)
Predicate	RetractAll.getPredicate(Term term)

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

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

Modifier and Type	Method	Description
static Term	PartialApplicationUtils.createArguments(Term partiallyAppliedFunction, Term... extraArguments)

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 term)
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)
boolean	PairsElements.evaluate(Term pairs, Term values)
protected boolean	RandomPermutation.evaluate(Term a, Term b)
protected boolean	Sort.evaluate(Term unsorted, Term sorted)
protected boolean	SortAsSet.evaluate(Term unsorted, Term sorted)
protected boolean	Subset.evaluate(Term subsetTerm, Term set)
protected boolean	SubtractFromList.evaluate(Term original, Term itemsToRemove, Term result)
protected boolean	SumList.evaluate(Term input, Term output)
Predicate	Append.getPredicate(Term term)
Predicate	Fold.getPredicate(Term term)
Predicate	Last.getPredicate(Term input)
Predicate	Length.getPredicate(Term input)
Predicate	MapList.getPredicate(Term term)
Predicate	Member.getPredicate(Term term)
Predicate	MemberCheck.getPredicate(Term term)
Predicate	Nth.getPredicate(Term input)
static Predicate	PartialApplicationUtils.getPredicate(PredicateFactory pf, Term action, Term... args)
Predicate	Reverse.getPredicate(Term term)
Predicate	Select.getPredicate(Term input)
Predicate	SubList.getPredicate(Term term)
static PredicateFactory	PartialApplicationUtils.getPreprocessedPartiallyAppliedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction, int extraArgs)
static boolean	PartialApplicationUtils.isAtomOrStructure(Term arg)
static boolean	PartialApplicationUtils.isList(Term arg)
PredicateFactory	Fold.preprocess(Term term)
PredicateFactory	MapList.preprocess(Term term)
PredicateFactory	MemberCheck.preprocess(Term term)
PredicateFactory	SubList.preprocess(Term term)

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

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

Modifier and Type	Method	Description
boolean	Dif.evaluate(Term arg1, Term arg2)

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
protected boolean	ConvertTime.evaluate(Term timestamp, Term text)
protected boolean	GetTime.evaluate(Term t)

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

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

Modifier and Type	Method	Description
Term	ClauseModel.getAntecedent()	Returns the body of the clause. i.e. the bit after the :-
Term	ClauseModel.getConsequent()	Returns the head of the clause. i.e. the bit before the :-
Term	ClauseModel.getOriginal()

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

Modifier and Type	Method	Description
static ClauseModel	ClauseModel.createClauseModel(Term original)
Predicate	ClauseAction.getPredicate(Term input)
Predicate	DynamicUserDefinedPredicateFactory.getPredicate(Term term)
org.projog.core.predicate.udp.InterpretedTailRecursivePredicate	InterpretedTailRecursivePredicateFactory.getPredicate(Term term)
Predicate	StaticUserDefinedPredicateFactory.getPredicate(Term term)
Predicate	TabledUserDefinedPredicateFactory.getPredicate(Term term)
PredicateFactory	StaticUserDefinedPredicateFactory.preprocess(Term arg)

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

Modifier	Constructor	Description
	InterpretedUserDefinedPredicate(Iterator<ClauseAction> clauseActions, SpyPoints.SpyPoint spyPoint, Term query)

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	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
static final Term[]	TermUtils.EMPTY_ARRAY	A Term array of length 0.

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

Modifier and Type	Method	Description
Term	EmptyList.copy(Map<Variable,Term> sharedVariables)
default Term	Term.copy()
Term	Term.copy(Map<Variable,Term> 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,Term> 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	StructureFactory.createStructure(String functor, Term argument)
static Term	StructureFactory.createStructure(String functor, Term[] args)
static Term	StructureFactory.createStructure(String functor, Term firstArgument, Term secondArgument)
Term	List.firstArgument()
default Term	Term.firstArgument()
default Term	Term.fourthArgument()
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	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()
Term	Term.getTerm()	Returns the current instantiated state of this term.
Term	Variable.getTerm()
Term	VariableAttribute.join(Term a, Term b)
Term	List.secondArgument()
default Term	Term.secondArgument()
default Term	Term.thirdArgument()

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 term)
IntegerNumber	IntegerNumber.calculate(Term term)
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.
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	StructureFactory.createStructure(String functor, Term argument)
static Term	StructureFactory.createStructure(String functor, Term[] args)
static Term	StructureFactory.createStructure(String functor, Term firstArgument, Term secondArgument)
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.
static String	TermUtils.getAtomName(Term t)	Return the name of the Atom represented by the specified Atom.
Term	Variable.getAttributeOrDefault(VariableAttribute attributeKey, Term defaultValue)
static boolean	ListUtils.isMember(Term element, Term list)	Checks is a term can be unified with at least one element of a list.
Term	VariableAttribute.join(Term a, Term b)
boolean	VariableAttribute.postUnify(Variable variable, Term attributeValue)
void	Variable.putAttribute(VariableAttribute attributeKey, Term attributeValue)
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	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)

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

Modifier and Type	Method	Description
Atom	Atom.copy(Map<Variable,Term> sharedVariables)
DecimalFraction	DecimalFraction.copy(Map<Variable,Term> sharedVariables)
Term	EmptyList.copy(Map<Variable,Term> sharedVariables)
IntegerNumber	IntegerNumber.copy(Map<Variable,Term> sharedVariables)
List	List.copy(Map<Variable,Term> sharedVariables)
Term	Term.copy(Map<Variable,Term> sharedVariables)	Returns a copy of this term.
Term	Variable.copy(Map<Variable,Term> 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.

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.