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 constructingTermobjects 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 TermQueryPlan. parsedInputprivate TermQueryStatement. parsedInputprivate TermProjogStackTraceElement. termMethods in org.projog.api that return Term Modifier and Type Method Description TermQueryPlan. findFirstAsTerm()TermQueryStatement. findFirstAsTerm()Execute the query once and return theTermthe single query variable was unified with.TermProjogStackTraceElement. getTerm()Represents the clause this stack trace element was generated for.TermQueryResult. getTerm(java.lang.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 java.util.List<Term>QueryPlan. findAllAsTerm()java.util.List<Term>QueryStatement. findAllAsTerm()Find all solutions generated by the query and return theTermvalues the single query variable was unified with.java.util.Optional<Term>QueryPlan. findFirstAsOptionalTerm()java.util.Optional<Term>QueryStatement. findFirstAsOptionalTerm()Attempt to execute the query once and return aTermrepresentation 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 java.lang.StringProjog. formatTerm(Term t)Returns a string representation of the specifiedTerm.voidQueryStatement. setListOfTerms(java.lang.String variableId, Term... terms)Attempts to unify the specifiedTermvalues as a Prolog list to the variable with the specified id.voidQueryStatement. setTerm(java.lang.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 voidQueryStatement. setListOfTerms(java.lang.String variableId, java.util.List<? extends Term> terms)Attempts to unify the specifiedTermvalues as a Prolog list to the variable with the specified id.Constructors in org.projog.api with parameters of type Term Constructor Description ProjogStackTraceElement(PredicateKey key, Term term)QueryResult(PredicateFactory predicateFactory, Term query, java.util.Map<java.lang.String,Variable> variables)Evaluates a query.QueryStatement(PredicateFactory predicateFactory, Term prologQuery)Creates a newQueryStatementrepresenting a query specified byprologQuery. -
Uses of Term in org.projog.core.event
Fields in org.projog.core.event declared as Term Modifier and Type Field Description private Term[]SpyPoints.SpyPointEvent. argsMethods in org.projog.core.event with parameters of type Term Modifier and Type Method Description voidSpyPoints.SpyPoint. logCall(java.lang.Object source, Term[] args)Notifies listeners of a first attempt to evaluate a goal.voidSpyPoints.SpyPoint. logExit(java.lang.Object source, Term[] args, int clauseNumber)Deprecated.voidSpyPoints.SpyPoint. logExit(java.lang.Object source, Term[] args, ClauseModel clause)Notifies listeners of that an attempt to evaluate a goal has succeeded.voidSpyPoints.SpyPoint. logFail(java.lang.Object source, Term[] args)Notifies listeners of that an attempt to evaluate a goal has failed.voidSpyPoints.SpyPoint. logRedo(java.lang.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 Constructor Description SpyPointEvent(PredicateKey key, Term[] args, java.lang.Object source)SpyPointExitEvent(PredicateKey key, Term[] args, java.lang.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 TermFileHandles. currentInputHandleCurrent input used by get_char and readprivate TermFileHandles. currentOutputHandleCurrent output used by put_char, nl, write and write_canonicalMethods in org.projog.core.io that return Term Modifier and Type Method Description TermFileHandles. getCurrentInputHandle()Return theTermrepresenting the current input stream.TermFileHandles. getCurrentOutputHandle()Return theTermrepresenting the current output stream.Methods in org.projog.core.io with parameters of type Term Modifier and Type Method Description voidFileHandles. close(Term handle)Closes the stream represented by the specifiedTerm.voidFileHandles. setInput(Term handle)Sets the current input stream to the input stream represented by the specifiedTerm.voidFileHandles. setOutput(Term handle)Sets the current output stream to the output stream represented by the specifiedTerm. -
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)Methods in org.projog.core.kb with parameters of type Term Modifier and Type Method Description static booleanKnowledgeBaseUtils. isConjunction(Term t)static booleanKnowledgeBaseUtils. isQuestionOrDirectiveFunctionCall(Term t)static booleanKnowledgeBaseUtils. isSingleAnswer(KnowledgeBase kb, Term term)Returnstrueif the predicate represented by the specifiedTermnever succeeds on re-evaluation.static Term[]KnowledgeBaseUtils. toArrayOfConjunctions(Term t) -
Uses of Term in org.projog.core.math
Subinterfaces of Term in org.projog.core.math Modifier and Type Interface Description interfaceNumericATermthat has a numerical value.Methods in org.projog.core.math with parameters of type Term Modifier and Type Method Description NumericAbstractArithmeticOperator. calculate(Term[] args)NumericAbstractArithmeticOperator.PreprocessedBinaryOperator. calculate(Term[] args)NumericAbstractArithmeticOperator.PreprocessedUnaryOperator. calculate(Term[] args)NumericArithmeticOperator. calculate(Term[] args)Returns the result of the calculation using the specified arguments.private NumericArithmeticOperators. calculate(Term term, Term[] args)intNumericTermComparator. compare(Term t1, Term t2, ArithmeticOperators operators)Compares the two arguments, representing arithmetic expressions, for order.NumericArithmeticOperators. getNumeric(Term t)Returns the result of evaluating the specified arithmetic expression.private ArithmeticOperatorArithmeticOperators. getPreprocessedArithmeticOperator(PredicateKey key, Term argument)ArithmeticOperatorArithmeticOperators. getPreprocessedArithmeticOperator(Term argument)ArithmeticOperatorAbstractArithmeticOperator. preprocess(Term expression)ArithmeticOperatorPreprocessableArithmeticOperator. preprocess(Term arg)private ArithmeticOperatorAbstractArithmeticOperator. preprocessBinaryOperator(Term argument1, Term argument2)private ArithmeticOperatorAbstractArithmeticOperator. 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 TermSentenceParser. parseSentence()private TermSentenceParser. toList(Token token)private TermSentenceParser. toStructureFromNamedBracket(Token token)private TermSentenceParser. toStructureFromOperandAndArguments(Token token)private TermSentenceParser. toTerm(Token token)Methods in org.projog.core.parser with parameters of type Term Modifier and Type Method Description private UserDefinedPredicateFactoryProjogSourceReader. createOrReturnUserDefinedPredicate(Term t)private voidProjogSourceReader. processQuestion(Term t)private voidProjogSourceReader. 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 TermPredicateKey. toTerm()Methods in org.projog.core.predicate with parameters of type Term Modifier and Type Method Description static PredicateKeyPredicateKey. createForTerm(Term t)Returns aPredicateKeyfor the specified term.static PredicateKeyPredicateKey. createFromNameAndArity(Term t)protected booleanAbstractSingleResultPredicate. evaluate(Term arg)booleanAbstractSingleResultPredicate. evaluate(Term[] args)protected booleanAbstractSingleResultPredicate. evaluate(Term arg1, Term arg2)protected booleanAbstractSingleResultPredicate. evaluate(Term arg1, Term arg2, Term arg3)protected booleanAbstractSingleResultPredicate. evaluate(Term arg1, Term arg2, Term arg3, Term arg4)private static java.lang.StringPredicateKey. getInvalidTypeExceptionMessage(Term t)protected PredicateAbstractPredicateFactory. getPredicate(Term arg)PredicateAbstractPredicateFactory. getPredicate(Term[] args)protected PredicateAbstractPredicateFactory. getPredicate(Term arg1, Term arg2)protected PredicateAbstractPredicateFactory. getPredicate(Term arg1, Term arg2, Term arg3)protected PredicateAbstractPredicateFactory. getPredicate(Term arg1, Term arg2, Term arg3, Term arg4)PredicateAbstractSingleResultPredicate. getPredicate(Term[] args)PredicatePredicateFactory. getPredicate(Term[] args)Returns aPredicateto be used in the evaluation of a goal.PredicatePredicates. getPredicate(Term t)PredicateUnknownPredicate. getPredicate(Term[] args)PredicateFactoryPredicates. getPredicateFactory(Term term)Returns thePredicateFactoryassociated with the specifiedTerm.PredicateFactoryPredicates. getPreprocessedPredicateFactory(Term term)PredicateFactoryPreprocessablePredicateFactory. preprocess(Term arg)PredicateFactoryUnknownPredicate. 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 TermCharType.CharTypePredicate. character(package private) Term[]CharType.State. charactersprivate TermCharType.CharTypePredicate. typeMethods in org.projog.core.predicate.builtin.classify that return Term Modifier and Type Method Description (package private) TermCharType.State. getCharacter()Methods in org.projog.core.predicate.builtin.classify with parameters of type Term Modifier and Type Method Description protected booleanIsAtom. evaluate(Term arg)protected booleanIsAtomic. evaluate(Term arg)protected booleanIsCompound. evaluate(Term arg)protected booleanIsFloat. evaluate(Term arg)protected booleanIsInteger. evaluate(Term arg)protected booleanIsList. evaluate(Term arg)protected booleanIsNonVar. evaluate(Term arg)protected booleanIsNumber. evaluate(Term arg)protected booleanIsVar. evaluate(Term arg)protected PredicateCharType. getPredicate(Term character, Term type)(package private) booleanCharType.Type. unify(Term character, Term type)Constructors in org.projog.core.predicate.builtin.classify with parameters of type Term Constructor Description CharTypePredicate(Term character, Term type, CharType.State state)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) classClpVariableATermthat 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()TermClpVariable. getArgument(int index)Methods in org.projog.core.predicate.builtin.clp with parameters of type Term Modifier and Type Method Description private voidIn. assertRange(Term t)NumericClpVariable. calculate(Term[] args)org.projog.clp.ConstraintBooleanConstraintPredicate. createConstraint(Term[] args, java.util.Set<ClpVariable> vars)org.projog.clp.ConstraintConstraintFactory. createConstraint(Term[] args, java.util.Set<ClpVariable> vars)org.projog.clp.ConstraintNumericConstraintPredicate. createConstraint(Term[] args, java.util.Set<ClpVariable> vars)protected booleanAddExpressionFactory. evaluate(Term functionNameAndArity, Term javaClass)booleanDistinct. evaluate(Term arg)booleanIn. evaluate(Term t, Term range)booleanNumericConstraintPredicate. evaluate(Term x, Term y)private java.util.Set<ClpVariable>Resolve. getAllVariables(Term arg)find all variables in input argument, and all variables connected to them via constraintsprivate java.util.List<org.projog.clp.Expression>Distinct. getOrCreateVariables(Term arg)PredicateBooleanConstraintPredicate. getPredicate(Term[] args)PredicateResolve. getPredicate(Term arg)private java.util.Set<ClpVariable>Resolve. getVariablesFromInputArgument(Term arg)find all variables in the input argument - input argument could be a single variable or a list of variablesprivate booleanIn. set(Term t, long min, long max)private booleanIn. setAll(Term t, long min, long max)private org.projog.clp.ConstraintBooleanConstraintPredicate. toConstraint(Term t, java.util.Set<ClpVariable> vars)org.projog.clp.ExpressionExpressionFactories. toExpression(Term t, java.util.Set<ClpVariable> vars)booleanClpVariable. unify(Term t)private static booleanClpVariable. unifyClpVariable(ClpVariable a, Term b)private booleanClpVariable. unifyLong(Term t) -
Uses of Term in org.projog.core.predicate.builtin.compare
Fields in org.projog.core.predicate.builtin.compare declared as Term Modifier and Type Field Description (package private) TermBetween.Retryable. middleprivate TermPredSort.PredSortComparator. predicateNameprivate TermPredSort.PreprocessedPredSort. predicateNameMethods in org.projog.core.predicate.builtin.compare with parameters of type Term Modifier and Type Method Description protected intAbstractNumericComparisonPredicate. compare(Term arg1, Term arg2)intPredSort.PredSortComparator. compare(Term o1, Term o2)protected booleanCompare. evaluate(Term result, Term t1, Term t2)protected booleanEqual. evaluate(Term arg1, Term arg2)protected booleanIs. evaluate(Term arg1, Term arg2)booleanIs.PreprocessedIs. evaluate(Term arg1, Term arg2)booleanIs.Unify. evaluate(Term arg1, Term arg2)protected booleanNotStrictEquality. evaluate(Term arg1, Term arg2)protected booleanNotUnifiable. evaluate(Term arg1, Term arg2)protected booleanNumericEquality. evaluate(Term arg1, Term arg2)protected booleanNumericGreaterThan. evaluate(Term arg1, Term arg2)protected booleanNumericGreaterThanOrEqual. evaluate(Term arg1, Term arg2)protected booleanNumericInequality. evaluate(Term arg1, Term arg2)protected booleanNumericLessThan. evaluate(Term arg1, Term arg2)protected booleanNumericLessThanOrEqual. evaluate(Term arg1, Term arg2)protected booleanPredSort. evaluate(Term predicateName, Term input, Term sorted)protected booleanStrictEquality. evaluate(Term arg1, Term arg2)protected booleanTermGreaterThan. evaluate(Term arg1, Term arg2)protected booleanTermGreaterThanOrEqual. evaluate(Term arg1, Term arg2)protected booleanTermLessThan. evaluate(Term arg1, Term arg2)protected booleanTermLessThanOrEqual. evaluate(Term arg1, Term arg2)protected booleanUnifyWithOccursCheck. evaluate(Term arg1, Term arg2)private static booleanPredSort. evaluatePredSort(PredicateFactory pf, Term predicateName, Term input, Term sorted)protected PredicateBetween. getPredicate(Term low, Term high, Term middle)PredicatePredSort.PreprocessedPredSort. getPredicate(Term[] args)private booleanUnifyWithOccursCheck. isCyclic(Term t)private booleanUnifyWithOccursCheck. isCyclic(Term t, java.util.Set<Term> parents)PredicateFactoryIs. preprocess(Term arg)PredicateFactoryPredSort. preprocess(Term term)Method parameters in org.projog.core.predicate.builtin.compare with type arguments of type Term Modifier and Type Method Description private booleanUnifyWithOccursCheck. isCyclic(Term t, java.util.Set<Term> parents)Constructors in org.projog.core.predicate.builtin.compare with parameters of type Term Constructor Description PredSortComparator(PredicateFactory pf, Term predicateName)PreprocessedPredSort(PredicateFactory pf, Term predicateName)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 TermAbstractCollectionOf. bagprivate TermConjunction.ConjunctionPredicate. copySecondArgumentprivate TermAbstractCollectionOf. goalprivate TermDisjunction.DisjunctionPredicate. inputArg1private TermDisjunction.DisjunctionPredicate. inputArg2private TermConjunction.ConjunctionPredicate. originalSecondArgumentprivate TermAbstractCollectionOf. templateFields in org.projog.core.predicate.builtin.compound with type parameters of type Term Modifier and Type Field Description private java.util.Iterator<java.util.Map.Entry<AbstractCollectionOf.Key,java.util.List<Term>>>AbstractCollectionOf. itr(package private) java.util.List<Term>AbstractCollectionOf.Key. termsMethods in org.projog.core.predicate.builtin.compound that return Term Modifier and Type Method Description private static TermFindAll. 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 voidAbstractCollectionOf. add(java.util.List<Term> l, Term t)protected voidBagOf.BagOfPredicate. add(java.util.List<Term> l, Term t)"bagof" returns all elements (including duplicates) in the order they were found.protected voidSetOf.SetOfPredicate. add(java.util.List<Term> list, Term newTerm)"setof" excludes duplicates and orders elements usingTermComparator.private Disjunction.DisjunctionPredicateDisjunction. createDisjunction(Term firstArg, Term secondArg)private PredicateDisjunction. createIfThenElse(Term ifThenTerm, Term elseTerm)private static TermFindAll. createListOfAllSolutions(Term template, Predicate predicate)protected booleanConjunction.OptimisedSingletonConjuction. evaluate(Term arg1, Term arg2)protected booleanFindAll. evaluate(Term template, Term goal, Term output)protected booleanNot. evaluate(Term t)protected booleanNot.OptimisedNot. evaluate(Term arg)protected booleanOnce. evaluate(Term t)protected booleanOnce.OptimisedOnce. evaluate(Term arg)private static booleanFindAll. evaluateFindAll(PredicateFactory pf, Term template, Term goal, Term output)private static booleanNot. evaluateNot(Term t, PredicateFactory pf)private static PredicateLimit. getLimitPredicate(PredicateFactory pf, Term maxAttempts, Term goal)protected PredicateBagOf. getPredicate(Term template, Term goal, Term bag)PredicateBagOf.PreprocessedBagOf. getPredicate(Term[] args)private PredicateCall. getPredicate(Term arg)PredicateCall. getPredicate(Term[] args)protected PredicateConjunction. getPredicate(Term arg1, Term arg2)protected PredicateConjunction.OptimisedRetryableConjuction. getPredicate(Term arg1, Term arg2)private PredicateDisjunction.DisjunctionPredicate. getPredicate(PredicateFactory pf, Term t)protected PredicateDisjunction. getPredicate(Term firstArg, Term secondArg)PredicateDisjunction.OptimisedDisjunction. getPredicate(Term[] args)PredicateDisjunction.OptimisedIfThenElse. getPredicate(Term[] args)PredicateFindAll.PreprocessedFindAll. getPredicate(Term[] args)protected PredicateIfThen. getPredicate(Term conditionTerm, Term thenTerm)PredicateIfThen.OptimisedIfThen. getPredicate(Term[] args)PredicateLimit. getPredicate(Term maxAttempts, Term goal)PredicateLimit.OptimisedLimit. getPredicate(Term[] args)protected PredicateSetOf. getPredicate(Term template, Term goal, Term bag)PredicateSetOf.PreprocessedSetOf. getPredicate(Term[] args)private java.util.List<Variable>AbstractCollectionOf. getVariablesNotInTemplate(Term template, Term goal)private voidAbstractCollectionOf. init(Term template, Term goal)PredicateFactoryBagOf. preprocess(Term term)PredicateFactoryConjunction. preprocess(Term term)PredicateFactoryDisjunction. preprocess(Term term)PredicateFactoryFindAll. preprocess(Term term)PredicateFactoryIfThen. preprocess(Term term)PredicateFactoryLimit. preprocess(Term term)PredicateFactoryNot. preprocess(Term term)PredicateFactoryOnce. preprocess(Term term)PredicateFactorySetOf. 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 voidAbstractCollectionOf. add(java.util.List<Term> l, Term t)protected voidBagOf.BagOfPredicate. add(java.util.List<Term> l, Term t)"bagof" returns all elements (including duplicates) in the order they were found.protected voidSetOf.SetOfPredicate. add(java.util.List<Term> list, Term newTerm)"setof" excludes duplicates and orders elements usingTermComparator.Constructors in org.projog.core.predicate.builtin.compound with parameters of type Term Constructor Description AbstractCollectionOf(PredicateFactory pf, Term template, Term goal, Term bag)BagOfPredicate(PredicateFactory pf, Term template, Term goal, Term bag)ConjunctionPredicate(Predicate firstPredicate, PredicateFactory secondPredicateFactory, Term secondArgument)DisjunctionPredicate(PredicateFactory pf1, PredicateFactory pf2, Term inputArg1, Term inputArg2)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) TermAtomConcat.Retryable. arg1(package private) TermAtomConcat.Retryable. arg2Methods in org.projog.core.predicate.builtin.construct that return Term Modifier and Type Method Description protected TermTermSplit. charToTerm(char c)private TermFunctor. createTerm(Term functor, Term arity)Creates a term using the given functor (name) and arity (number of arguments).private TermUniv. toList(Term t)private TermUniv. toPredicate(Term t)private TermTermSplit. toTerm(java.lang.String s)Methods in org.projog.core.predicate.builtin.construct with parameters of type Term Modifier and Type Method Description private voidTermSplit. appendListElementsToString(java.lang.StringBuffer sb, Term t)private voidAtomConcat. assertAtomOrVariable(Term t)private TermFunctor. createTerm(Term functor, Term arity)Creates a term using the given functor (name) and arity (number of arguments).protected booleanArg. evaluate(Term arg1, Term arg2, Term arg3)private booleanAtomConcat. evaluate(Term arg1, Term arg2, Term arg3)protected booleanCopyTerm. evaluate(Term arg1, Term arg2)protected booleanFunctor. evaluate(Term term, Term functor, Term arity)protected booleanNumberVars. evaluate(Term arg)protected booleanNumberVars. evaluate(Term arg1, Term arg2, Term arg3)protected booleanTermSplit. evaluate(Term arg1, Term arg2)booleanUniv. evaluate(Term arg1, Term arg2)private booleanTermSplit. evaluateWithConcreteFirstArgument(Term arg1, Term arg2)Convertsarg1to a list and attempts to unify it witharg2.private booleanTermSplit. evaluateWithVariableFirstArgument(Term arg1, Term arg2)Convertsarg2from a list to an atom and attempts to unify it witharg1.protected PredicateAtomConcat. getPredicate(Term prefix, Term suffix, Term combined)private booleanAtomConcat. isAtom(Term t)private booleanTermSplit. isNotList(Term t)private voidTermSplit. isValidConcreteFirstArgument(Term arg)private longNumberVars. numberVars(Term term, long start)private TermUniv. toList(Term t)private TermUniv. toPredicate(Term t)Constructors in org.projog.core.predicate.builtin.construct with parameters of type Term Constructor Description Retryable(Term arg1, Term arg2, java.lang.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 TermRecorded.RecordedPredicate. keyprivate TermRecorded.RecordedPredicate. referenceprivate TermRecord. valueprivate TermRecorded.RecordedPredicate. value(package private) TermRecordedDatabase.Link. valueMethods in org.projog.core.predicate.builtin.db that return Term Modifier and Type Method Description (package private) TermRecord. getKey()(package private) TermRecord. getValue()Methods in org.projog.core.predicate.builtin.db with parameters of type Term Modifier and Type Method Description (package private) IntegerNumberRecordedDatabase. add(PredicateKey key, Term value, boolean addLast)Associates a value with a key.private RecordedDatabase.LinkRecordedDatabase. createLink(RecordedDatabase.Chain chain, Term value, boolean addLast)protected booleanErase. evaluate(Term arg)protected booleanInsertRecord. evaluate(Term key, Term value)protected booleanInsertRecord. evaluate(Term key, Term value, Term reference)private java.util.Iterator<Record>Recorded. getIterator(Term key, RecordedDatabase database)protected PredicateRecorded. getPredicate(Term key, Term value)protected PredicateRecorded. getPredicate(Term key, Term value, Term reference)private booleanRecorded.RecordedPredicate. unify(Record record, Term key, Term value, Term reference)Constructors in org.projog.core.predicate.builtin.db with parameters of type Term Constructor Description Link(RecordedDatabase.Chain chain, IntegerNumber reference, Term value)Record(PredicateKey key, IntegerNumber reference, Term value)RecordedPredicate(Term key, Term value, Term reference, java.util.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 booleanAlterSpyPoint. 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 booleanThrow. evaluate(Term error)protected PredicateRepeatSetAmount. 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) java.util.List<Term>Writef.Formatter. argsMethods in org.projog.core.predicate.builtin.io that return Term Modifier and Type Method Description (package private) TermWritef.Formatter. nextArg()Methods in org.projog.core.predicate.builtin.io with parameters of type Term Modifier and Type Method Description private java.lang.StringWritef. align(Writef.Formatter f, Term t)private voidSeen. close(FileHandles fileHandles, Term handle)private voidTold. close(FileHandles fileHandles, Term handle)private java.lang.StringWritef. concat(Writef.Formatter f, Term t)protected booleanClose. evaluate(Term argument)protected booleanCurrentInput. evaluate(Term argument)protected booleanCurrentOutput. evaluate(Term argument)protected booleanGetChar. evaluate(Term argument)protected booleanGetCode. evaluate(Term argument)protected booleanOp. evaluate(Term arg1, Term arg2, Term arg3)protected booleanOpen. evaluate(Term fileNameAtom, Term operationAtom, Term variableToAssignTo)protected booleanPutChar. evaluate(Term argument)protected booleanRead. evaluate(Term argument)protected booleanSee. evaluate(Term source)protected booleanSetInput. evaluate(Term arg)protected booleanSetOutput. evaluate(Term arg)protected booleanTab. evaluate(Term arg)protected booleanTell. evaluate(Term source)protected booleanWrite. evaluate(Term arg)protected booleanWriteCanonical. evaluate(Term arg)protected booleanWritef. evaluate(Term atom)protected booleanWritef. evaluate(Term atom, Term list)(package private) java.lang.StringWritef.Formatter. format(Term t)private java.lang.StringWrite. toString(Term t)Method parameters in org.projog.core.predicate.builtin.io with type arguments of type Term Modifier and Type Method Description private java.lang.StringBuilderWritef. format(java.lang.String text, java.util.List<Term> args)Constructor parameters in org.projog.core.predicate.builtin.io with type arguments of type Term Constructor Description Formatter(java.lang.String text, java.util.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 TermCurrentPredicate.Retryable. argprivate TermInspect.InspectPredicate. clauseBodyprivate TermInspect.InspectPredicate. clauseHeadMethods 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 voidInspect.InspectPredicate. backtrack(Term clauseHead, Term clauseBody)NumericAddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator. calculate(Term[] args)private voidConsultList. consult(Term filename)private Term[]AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator. createArgumentsIncludingResult(Term[] args, Variable result)protected booleanAddArithmeticOperator. evaluate(Term functionNameAndArity, Term javaClass)protected booleanAddPredicateFactory. evaluate(Term arg1, Term arg2)protected booleanAddUserDefinedArithmeticOperator. evaluate(Term arg)protected booleanAssert. evaluate(Term clause)protected booleanConsult. evaluate(Term arg)protected booleanConsultList. evaluate(Term head, Term tail)protected booleanDynamic. evaluate(Term arg)protected booleanEnsureLoaded. evaluate(Term arg)protected booleanFlag. evaluate(Term key, Term oldValue, Term newValue)protected booleanListing. evaluate(Term arg)protected booleanRetractAll. evaluate(Term t)protected PredicateCurrentPredicate. getPredicate(Term arg)protected PredicateInspect. getPredicate(Term clauseHead)protected PredicateInspect. getPredicate(Term clauseHead, Term clauseBody)private java.lang.StringEnsureLoaded. getResourceName(Term arg)private voidFlag. put(PredicateKey pk, Term value)private booleanInspect.InspectPredicate. unifiable(Term clauseHead, Term clauseBody, ClauseModel clauseModel)Constructors in org.projog.core.predicate.builtin.kb with parameters of type Term Constructor Description InspectPredicate(Term clauseHead, Term clauseBody, java.util.Iterator<ClauseModel> implications)Retryable(Term arg, java.util.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) TermFold.OptimisedFold. actionprivate TermFold.Retryable. actionprivate TermMapList.Retryable. action(package private) TermReverse.ReversePredicate. arg1(package private) TermReverse.ReversePredicate. arg2(package private) TermReverse.ReversePredicate. arg3(package private) TermReverse.ReversePredicate. arg4(package private) TermAppend.AppendPredicate. concatenatedprivate TermMember.MemberPredicate. currentListprivate TermMember.MemberPredicate. element(package private) TermNth.Retryable. element(package private) TermSelect.SelectPredicate. firstArg(package private) TermSelect.SelectPredicate. fourthArg(package private) TermNth.Retryable. index(package private) TermLast.LastPredicate. last(package private) TermLength.Retryable. length(package private) TermLength.Retryable. list(package private) TermNth.Retryable. list(package private) TermLast.LastPredicate. newHeadprivate TermMember.MemberPredicate. originalList(package private) TermAppend.AppendPredicate. prefixprivate TermFold.Retryable. result(package private) TermSelect.SelectPredicate. secondArgprivate TermFold.Retryable. start(package private) TermAppend.AppendPredicate. suffix(package private) TermLast.LastPredicate. tail(package private) TermLast.LastPredicate. termToUnifyLastElementWith(package private) TermSelect.SelectPredicate. thirdArgFields in org.projog.core.predicate.builtin.list with type parameters of type Term Modifier and Type Field Description private java.util.List<Term>Fold.Retryable. backtrack1private java.util.List<Term>Fold.Retryable. backtrack2private java.util.List<Term>MemberCheck.PreprocessedMemberCheck. javaListprivate static java.util.Comparator<Term>KeySort. KEY_VALUE_PAIR_COMPARATORprivate java.util.List<Term>Fold.Retryable. valuesMethods in org.projog.core.predicate.builtin.list that return Term Modifier and Type Method Description static Term[]PartialApplicationUtils. createArguments(Term partiallyAppliedFunction, Term... extraArguments)private TermAtomicListConcat. split(Term concatenatedResultAtom, java.lang.String separator)Methods in org.projog.core.predicate.builtin.list that return types with arguments of type Term Modifier and Type Method Description private java.util.List<Term>Flatten. flattenList(Term input)private static java.util.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 booleanPartialApplicationUtils. apply(PredicateFactory pf, Term[] args)private voidNth.Retryable. backtrack(Term index, Term list, Term element)private AtomAtomicListConcat. concat(Term atomList, java.lang.String separator)static Term[]PartialApplicationUtils. createArguments(Term partiallyAppliedFunction, Term... extraArguments)protected booleanAppendListOfLists. evaluate(Term listOfLists, Term termToUnifyWith)protected booleanAtomicListConcat. evaluate(Term atomList, Term concatenatedResultAtom)protected booleanAtomicListConcat. evaluate(Term atomList, Term separatorAtom, Term concatenatedResultAtom)protected booleanDelete. evaluate(Term input, Term element, Term output)protected booleanExtremumList. evaluate(Term input, Term output)protected booleanFlatten. evaluate(Term original, Term expected)protected booleanKeySort. evaluate(Term original, Term result)protected booleanMemberCheck. evaluate(Term element, Term list)protected booleanMemberCheck.PreprocessedMemberCheck. evaluate(Term element, Term notUsed)private booleanNth. evaluate(int index, Term list, Term element)booleanPairsElements. evaluate(Term pairs, Term values)protected booleanSort. evaluate(Term unsorted, Term sorted)protected booleanSortAsSet. evaluate(Term unsorted, Term sorted)protected booleanSubList. evaluate(Term partiallyAppliedFunction, Term args, Term filteredOutput)protected booleanSubset. evaluate(Term subsetTerm, Term set)protected booleanSubtractFromList. evaluate(Term original, Term itemsToRemove, Term result)private static booleanFold. evaluateFold(PredicateFactory pf, Term action, java.util.List<Term> values, Term start, Term result)private static booleanSubList. evaluateSubList(PredicateFactory pf, Term partiallyAppliedFunction, Term args, Term filteredOutput)private java.util.List<Term>Flatten. flattenList(Term input)static PredicateFactoryPartialApplicationUtils. getCurriedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction)private static PredicateFold. getFoldPredicate(PredicateFactory pf, Term action, Term values, Term start, Term result)private static PredicateMapList. getMapListPredicate(PredicateFactory pf, Term[] input)static PredicateFactoryPartialApplicationUtils. getPartiallyAppliedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction, int numberOfExtraArguments)protected PredicateAppend. getPredicate(Term prefix, Term suffix, Term concatenated)protected PredicateFold. getPredicate(Term atom, Term values, Term start, Term result)PredicateFold.OptimisedFold. getPredicate(Term[] args)protected PredicateLast. getPredicate(Term list, Term termToUnifyLastElementWith)protected PredicateLength. getPredicate(Term list, Term expectedLength)PredicateMapList. getPredicate(Term[] input)PredicateMapList.PreprocessedMapList. getPredicate(Term[] args)protected PredicateMember. getPredicate(Term element, Term list)protected PredicateNth. getPredicate(Term index, Term list, Term element)static PredicatePartialApplicationUtils. getPredicate(PredicateFactory pf, Term action, Term... args)protected PredicateReverse. getPredicate(Term list1, Term list2)PredicateSelect. getPredicate(Term element, Term inputList, Term outputList)PredicateSubList.PreprocessedSubList. getPredicate(Term[] args)static PredicateFactoryPartialApplicationUtils. getPreprocessedCurriedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction)static PredicateFactoryPartialApplicationUtils. getPreprocessedPartiallyAppliedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction, int extraArgs)static booleanPartialApplicationUtils. isAtomOrStructure(Term arg)(package private) static booleanPartialApplicationUtils. isKeyValuePair(Term t)static booleanPartialApplicationUtils. isList(Term arg)private booleanSubtractFromList. isUnified(Term item, Term itemToRemove)private booleanSubList. isValidArguments(Term partiallyAppliedFunction, Term arg)PredicateFactoryFold. preprocess(Term arg)PredicateFactoryMapList. preprocess(Term input)PredicateFactoryMemberCheck. preprocess(Term term)PredicateFactorySubList. preprocess(Term term)private booleanSubtractFromList. shouldBeRemoved(Term item, java.util.List<Term> itemsToRemoveAsList)private TermAtomicListConcat. split(Term concatenatedResultAtom, java.lang.String separator)private static java.util.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 booleanKeySort. assertKeyValuePairs(java.util.List<Term> elements)private static booleanFold. evaluateFold(PredicateFactory pf, Term action, java.util.List<Term> values, Term start, Term result)private voidSortAsSet. removeDuplicates(java.util.List<Term> elements)private booleanSubtractFromList. shouldBeRemoved(Term item, java.util.List<Term> itemsToRemoveAsList)Constructors in org.projog.core.predicate.builtin.list with parameters of type Term Constructor Description AppendPredicate(Term prefix, Term suffix, Term concatenated)LastPredicate(Term last, Term tail, Term termToUnifyLastElementWith)MemberPredicate(Term element, Term originalList)OptimisedFold(PredicateFactory pf, Term action)Retryable(PredicateFactory pf, Term action, java.util.List<Term> values, Term start, Term result)Retryable(int startLength, Term list, Term length)Retryable(PredicateFactory pf, Term action, java.util.List<Term>[] lists)Retryable(Term index, Term list, Term element)ReversePredicate(Term list1, Term list2)SelectPredicate(Term firstArg, Term secondArg, Term thirdArg, Term fourthArg)Constructor parameters in org.projog.core.predicate.builtin.list with type arguments of type Term Constructor Description PreprocessedMemberCheck(java.util.List<Term> javaList)Retryable(PredicateFactory pf, Term action, java.util.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 TermDif. createTerm(java.util.List<? extends Term> args)TermDif.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 voidDif. appendAttribute(Variable v, Term attributeElement)booleanDif. evaluate(Term arg1, Term arg2)TermDif.DifVariableAttribute. join(Term a, Term b)booleanDif.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 TermDif. createTerm(java.util.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 java.util.DateConvertTime. createDate(Term timestamp)protected booleanConvertTime. evaluate(Term timestamp, Term text)protected booleanGetTime. 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 TermClauseModel. antecedentprivate Term[]SingleRetryableRulePredicateFactory.RetryableRulePredicate. argsprivate TermClauseModel. consequentprivate Term[]InterpretedTailRecursivePredicate. currentQueryArgsprivate Term[]InterpretedTailRecursivePredicate. firstClauseConsequentArgsprivate Term[]InterpretedTailRecursivePredicateFactory. firstClauseConsequentArgsprivate Term[]InterpretedTailRecursivePredicate. firstClauseOriginalTermsprivate Term[]InterpretedTailRecursivePredicateFactory. firstClauseOriginalTermsprivate TermClauseModel. originalprivate Term[]InterpretedUserDefinedPredicate. queryArgsprivate Term[]InterpretedTailRecursivePredicate. secondClauseConsequentArgsprivate Term[]InterpretedTailRecursivePredicateFactory. secondClauseConsequentArgsprivate Term[]InterpretedTailRecursivePredicate. secondClauseOriginalTermsprivate Term[]InterpretedTailRecursivePredicateFactory. secondClauseOriginalTerms(package private) TermKeyFactories.Key2. t1(package private) TermKeyFactories.Key3. t1(package private) TermKeyFactories.Key2. t2(package private) TermKeyFactories.Key3. t2(package private) TermKeyFactories.Key3. t3private static TermClauseModel. TRUEFields in org.projog.core.predicate.udp with type parameters of type Term Modifier and Type Field Description private java.util.concurrent.ConcurrentHashMap<Term,DynamicUserDefinedPredicateFactory.ClauseActionMetaData>DynamicUserDefinedPredicateFactory. indexprivate java.util.LinkedHashMap<Term,ClauseAction>StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory. mapMethods in org.projog.core.predicate.udp that return Term Modifier and Type Method Description private static TermDefiniteClauseGrammerConvertor. appendToEndOfList(Term list, Term newTail)(package private) static TermDefiniteClauseGrammerConvertor. convert(Term dcgTerm)private static TermDefiniteClauseGrammerConvertor. convertConjunctionOfAtomsAntecedent(Term consequent, Term[] conjunctionOfAtoms)private static TermDefiniteClauseGrammerConvertor. convertSingleListTermAntecedent(Term consequent, Term antecedent)private static TermDefiniteClauseGrammerConvertor. createNewPredicate(Term original, Term previous, Term next)TermClauseModel. getAntecedent()Returns the body of the clause.private static TermDefiniteClauseGrammerConvertor. getAntecedent(Term dcgTerm)TermClauseModel. getConsequent()Returns the head of the clause.private static TermDefiniteClauseGrammerConvertor. getConsequent(Term dcgTerm)private TermTailRecursivePredicateMetaData. getFinalFunction(Term t)TermClauseModel. getOriginal()Methods in org.projog.core.predicate.udp with parameters of type Term Modifier and Type Method Description private static TermDefiniteClauseGrammerConvertor. appendToEndOfList(Term list, Term newTail)(package private) static TermDefiniteClauseGrammerConvertor. convert(Term dcgTerm)private static TermDefiniteClauseGrammerConvertor. convertConjunctionOfAtomsAntecedent(Term consequent, Term[] conjunctionOfAtoms)private static TermDefiniteClauseGrammerConvertor. convertSingleListTermAntecedent(Term consequent, Term antecedent)private static boolean[]Clauses. createArray(int numArgs, Term query)private intIndexes. createBitmask(Term[] args)static ClauseModelClauseModel. createClauseModel(Term original)(package private) static PredicatePredicateUtils. createFailurePredicate(SpyPoints.SpyPoint spyPoint, Term[] args)(package private) static ClausesClauses. createFromActions(KnowledgeBase kb, java.util.List<ClauseAction> actions, Term arg)java.lang.ObjectKeyFactories.KeyFactory. createKey(int[] positions, Term[] args)java.lang.ObjectKeyFactories.KeyFactory1. createKey(int[] positions, Term[] args)KeyFactories.Key2KeyFactories.KeyFactory2. createKey(int[] positions, Term[] args)KeyFactories.Key3KeyFactories.KeyFactory3. createKey(int[] positions, Term[] args)private static TermDefiniteClauseGrammerConvertor. createNewPredicate(Term original, Term previous, Term next)private PredicateStaticUserDefinedPredicateFactory. createPredicate(Term[] args, ClauseAction[] clauses)(package private) static PredicatePredicateUtils. createSingleClausePredicate(ClauseAction clause, SpyPoints.SpyPoint spyPoint, Term[] args)(package private) static PredicateSingleNonRetryableRulePredicateFactory. evaluateClause(ClauseAction clause, SpyPoints.SpyPoint spyPoint, Term[] args)private static TermDefiniteClauseGrammerConvertor. getAntecedent(Term dcgTerm)private static TermDefiniteClauseGrammerConvertor. getConsequent(Term dcgTerm)private TermTailRecursivePredicateMetaData. getFinalFunction(Term t)(package private) ClauseAction[]Index. getMatches(Term[] args)PredicateClauseAction. getPredicate(Term[] input)PredicateClauseActionFactory.AlwaysMatchedFact. getPredicate(Term[] input)PredicateClauseActionFactory.ImmutableConsequentRule. getPredicate(Term[] input)PredicateClauseActionFactory.ImmutableFact. getPredicate(Term[] input)PredicateClauseActionFactory.MutableFact. getPredicate(Term[] input)PredicateClauseActionFactory.MutableRule. getPredicate(Term[] input)PredicateClauseActionFactory.VariableAntecedantClauseAction. getPredicate(Term[] input)PredicateClauseActionFactory.ZeroArgConsequentRule. getPredicate(Term[] input)PredicateDynamicUserDefinedPredicateFactory. getPredicate(Term[] args)InterpretedTailRecursivePredicateInterpretedTailRecursivePredicateFactory. getPredicate(Term[] args)PredicateNeverSucceedsPredicateFactory. getPredicate(Term[] args)PredicateSingleNonRetryableRulePredicateFactory. getPredicate(Term[] args)SingleRetryableRulePredicateFactory.RetryableRulePredicateSingleRetryableRulePredicateFactory. getPredicate(Term[] args)PredicateStaticUserDefinedPredicateFactory. getPredicate(Term[] args)PredicateStaticUserDefinedPredicateFactory.IndexablePredicateFactory. getPredicate(Term[] args)PredicateStaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory. getPredicate(Term[] args)PredicateStaticUserDefinedPredicateFactory.NotIndexablePredicateFactory. getPredicate(Term[] args)PredicateStaticUserDefinedPredicateFactory.SingleIndexPredicateFactory. getPredicate(Term[] args)private static booleanDefiniteClauseGrammerConvertor. hasSingleListWithSingleAtomElement(Term[] terms)(package private) ClauseAction[]Indexes. index(Term[] args)private static booleanClauses. isAnonymousVariable(Term arg)(package private) static booleanDefiniteClauseGrammerConvertor. isDCG(Term dcgTerm)(package private) static booleanClauseActionFactory. isMatch(ClauseAction clause, Term[] queryArgs)Returns true if the arguments unify with the consequent of the clause.private booleanInterpretedTailRecursivePredicateFactory. isRetryable(Term[] args)private static booleanTailRecursivePredicateMetaData. isTail(Term list, Term term)private static java.util.List<ClauseAction>StaticUserDefinedPredicateFactory. optimisePredicateFactory(KnowledgeBase kb, ClauseAction[] data, Term arg)PredicateFactorySingleNonRetryableRulePredicateFactory. preprocess(Term arg)PredicateFactorySingleRetryableRulePredicateFactory. preprocess(Term arg)PredicateFactoryStaticUserDefinedPredicateFactory.IndexablePredicateFactory. preprocess(Term arg)PredicateFactoryStaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory. preprocess(Term arg)PredicateFactoryStaticUserDefinedPredicateFactory.NotIndexablePredicateFactory. preprocess(Term arg)PredicateFactoryStaticUserDefinedPredicateFactory. preprocess(Term arg)PredicateFactoryStaticUserDefinedPredicateFactory.SingleIndexPredicateFactory. preprocess(Term arg)static booleanInterpretedTailRecursivePredicate. 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 Constructor Description ClauseModel(Term original, Term consequent, Term antecedent)InterpretedTailRecursivePredicate(SpyPoints.SpyPoint spyPoint, Term[] inputArgs, PredicateFactory[] firstClausePredicateFactories, Term[] firstClauseConsequentArgs, Term[] firstClauseOriginalTerms, PredicateFactory[] secondClausePredicateFactories, Term[] secondClauseConsequentArgs, Term[] secondClauseOriginalTerms, boolean isRetryable)InterpretedUserDefinedPredicate(java.util.Iterator<ClauseAction> clauseActions, SpyPoints.SpyPoint spyPoint, Term[] queryArgs)Key2(Term t1, Term t2)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 classAtomRepresents a specific object or relationship.classDecimalFractionRepresents a value of the primitive typedoubleas aTerm.classEmptyListRepresents a data structure with noTerms.classIntegerNumberRepresents a value of the primitive typelongas aTerm.classListRepresents a data structure with twoTerms - a head and a tail.classStructureclassVariableRepresents an unspecifiedTerm.Fields in org.projog.core.term declared as Term Modifier and Type Field Description private Term[]Structure. argsstatic Term[]TermUtils. EMPTY_ARRAYATermarray of length 0.private TermList. headprivate TermList. tailprivate TermVariable. valueTheTermthis object is currently instantiated with (ornullif it is currently uninstantiated)Fields in org.projog.core.term with type parameters of type Term Modifier and Type Field Description private java.util.Map<VariableAttribute,Term>Variable. attributesA collection of attributes associated with the variable.Methods in org.projog.core.term that return Term Modifier and Type Method Description TermEmptyList. copy(java.util.Map<Variable,Variable> sharedVariables)TermTerm. copy(java.util.Map<Variable,Variable> sharedVariables)Returns a copy of this term.static Term[]TermUtils. copy(Term... input)Returns copies of the specified {link Term}sTermVariable. copy(java.util.Map<Variable,Variable> sharedVariables)static TermListFactory. createList(java.util.Collection<? extends Term> terms)Returns a newListwith the specified terms and a empty list as the final tail element.static TermListFactory. createList(Term[] terms)Returns a newListwith the specified terms and a empty list as the final tail element.static TermListFactory. createList(Term[] terms, Term tail)Returns a newListwith the specified terms and the second parameter as the tail element.static TermListFactory. createListOfLength(int length)Returns a new list of the specified length where is each element is a variable.static TermStructure. createStructure(java.lang.String functor, Term[] args)Factory method for creatingStructureinstances.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()TermAtom. getArgument(int index)TermDecimalFraction. getArgument(int index)TermEmptyList. getArgument(int index)TermIntegerNumber. getArgument(int index)TermList. getArgument(int index)TermStructure. getArgument(int index)TermTerm. getArgument(int index)Returns the term at the specified position in this term's arguments.TermVariable. getArgument(int index)CallsgetArgument(int)on theTermthis variable is instantiated with.TermVariable. getAttributeOrDefault(VariableAttribute attributeKey, Term defaultValue)default TermTerm. getBound()Returns the term this object is bound to.TermVariable. getBound()private static TermTermFormatter. getList(Term t)TermTerm. getTerm()Returns the current instantiated state of this term.TermVariable. getTerm()private TermVariable. getValue()TermVariableAttribute. 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 java.util.List<Term>ListUtils. toJavaUtilList(Term list)Returns a newjava.util.Listcontaining the contents of the specifiedorg.projog.core.term.List.static java.util.List<Term>ListUtils. toSortedJavaUtilList(Term unsorted)Returns a newjava.util.Listcontaining the sorted contents of the specifiedorg.projog.core.term.List.Methods in org.projog.core.term with parameters of type Term Modifier and Type Method Description static voidTermUtils. assertType(Term t, TermType type)static voidTermUtils. backtrack(Term[] terms)Backtracks allTerms in the specified array.DecimalFractionDecimalFraction. calculate(Term[] args)IntegerNumberIntegerNumber. calculate(Term[] args)private booleanTermFormatter. canBePreceededByEqualPriority(Term next)static NumericTermUtils. castToNumeric(Term t)intTermComparator. compare(Term t1, Term t2)Compares the two arguments for order.private intTermComparator. compareStructures(Term t1, Term t2)static Term[]TermUtils. copy(Term... input)Returns copies of the specified {link Term}sstatic TermListFactory. createList(Term[] terms)Returns a newListwith the specified terms and a empty list as the final tail element.static TermListFactory. createList(Term[] terms, Term tail)Returns a newListwith the specified terms and the second parameter as the tail element.static ListListFactory. createList(Term head, Term tail)Returns a newListwith specified head and tail.static TermStructure. createStructure(java.lang.String functor, Term[] args)Factory method for creatingStructureinstances.java.lang.StringTermFormatter. formatTerm(Term t)Returns a string representation of the specifiedTerm.static java.util.Set<Variable>TermUtils. getAllVariablesInTerm(Term argument)Returns allVariables contained in the specified term.private static voidTermUtils. getAllVariablesInTerm(Term argument, java.util.Set<Variable> variables)static java.lang.StringTermUtils. getAtomName(Term t)TermVariable. getAttributeOrDefault(VariableAttribute attributeKey, Term defaultValue)private static TermTermFormatter. getList(Term t)private intTermFormatter. getPriority(Term next)private static booleanStructure. isImmutable(Term[] args)private booleanTermFormatter. isInfixOperator(Term t)static booleanListUtils. isMember(Term element, Term list)Checks is a term can be unified with at least one element of a list.private booleanTermFormatter. isPostfixOperator(Term t)private booleanTermFormatter. isPrefixOperator(Term t)TermVariableAttribute. join(Term a, Term b)booleanVariableAttribute. postUnify(Variable variable, Term attributeValue)voidVariable. putAttribute(VariableAttribute attributeKey, Term attributeValue)private booleanTermFormatter. shouldLeftArgumentBeBracketed(Term next, Term parentInfixTerm, int parentInfixPriority)private booleanTermFormatter. shouldRightArgumentBeBracketed(Term next, Term parentInfixTerm, int parentInfixPriority)static booleanTermUtils. termsEqual(Term a, Term b)static intTermUtils. toInt(Term t)static java.util.List<Term>ListUtils. toJavaUtilList(Term list)Returns a newjava.util.Listcontaining the contents of the specifiedorg.projog.core.term.List.static longTermUtils. toLong(ArithmeticOperators operators, Term t)Return the long value represented by the specified term.static java.util.List<Term>ListUtils. toSortedJavaUtilList(Term unsorted)Returns a newjava.util.Listcontaining the sorted contents of the specifiedorg.projog.core.term.List.booleanAtom. unify(Term t)booleanDecimalFraction. unify(Term t)booleanEmptyList. unify(Term t)booleanIntegerNumber. unify(Term t)booleanList. unify(Term t1)booleanStructure. unify(Term t)booleanTerm. unify(Term t)Attempts to unify this term to the specified term.static booleanTermUtils. unify(Term[] queryArgs, Term[] consequentArgs)Attempts to unify all correspondingTerms in the specified arrays.booleanVariable. unify(Term t)private voidTermFormatter. write(Term t, java.lang.StringBuilder sb)private voidTermFormatter. writeInfixOperator(Term p, java.lang.StringBuilder sb)private voidTermFormatter. writeList(Term p, java.lang.StringBuilder sb)private voidTermFormatter. writeNonOperatorPredicate(Term p, java.lang.StringBuilder sb)private voidTermFormatter. writePostfixOperator(Term p, java.lang.StringBuilder sb)private voidTermFormatter. writePredicate(Term p, java.lang.StringBuilder sb)private voidTermFormatter. writePrefixOperator(Term p, java.lang.StringBuilder sb)Method parameters in org.projog.core.term with type arguments of type Term Modifier and Type Method Description static TermListFactory. createList(java.util.Collection<? extends Term> terms)Returns a newListwith the specified terms and a empty list as the final tail element.private ListList. traverse(java.util.function.UnaryOperator<Term> f)Used byList.getTerm()andList.copy(Map)to traverse a list without using recursion.Constructors in org.projog.core.term with parameters of type Term Constructor Description List(Term head, Term tail)Creates a new list with the specified head and tail.Structure(java.lang.String functor, Term[] args, boolean immutable)Private constructor to force use ofStructure.createStructure(String, Term[])Constructor parameters in org.projog.core.term with type arguments of type Term Constructor Description Variable(java.lang.String id, java.util.Map<VariableAttribute,Term> attributes)
-