Uses of Interface
org.projog.core.predicate.Predicate

Packages that use Predicate

Package	Description
org.projog.api	Provides a programming interface for Java applications to interact with Projog.
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.flow	Predicates for affecting the flow of goal evaluation on backtracking.
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.udp	Provides functionality to evaluate user defined predicates defined using Prolog syntax.

Uses of Predicate in org.projog.api

Fields in org.projog.api declared as Predicate

Modifier and Type	Field	Description
private final Predicate	QueryResult.predicate

Uses of Predicate in org.projog.core.predicate

Classes in org.projog.core.predicate that implement Predicate

Modifier and Type	Class	Description
class	SucceedsNeverPredicate
class	SucceedsOncePredicate

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

Modifier and Type	Method	Description
protected Predicate	AbstractPredicateFactory.getPredicate()
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)

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

Classes in org.projog.core.predicate.builtin.classify that implement Predicate

Modifier and Type	Class	Description
private final class	CharType.CharTypePredicate

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

Modifier and Type	Method	Description
protected Predicate	CharType.getPredicate(Term character, Term type)

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

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

Modifier and Type	Class	Description
private static final class	Resolve.ClpResolvePredicate

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

Modifier and Type	Method	Description
Predicate	BooleanConstraintPredicate.getPredicate(Term[] args)
Predicate	Resolve.getPredicate(Term arg)

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

Classes in org.projog.core.predicate.builtin.compare that implement Predicate

Modifier and Type	Class	Description
private static class	Between.Retryable

Methods in org.projog.core.predicate.builtin.compare that return Predicate

Modifier and Type	Method	Description
protected Predicate	Between.getPredicate(Term low, Term high, Term middle)
Predicate	PredSort.PreprocessedPredSort.getPredicate(Term[] args)

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

Classes in org.projog.core.predicate.builtin.compound that implement Predicate

Modifier and Type	Class	Description
(package private) class	AbstractCollectionOf
private static final class	BagOf.BagOfPredicate
private static final class	Conjunction.ConjunctionPredicate
private final class	Disjunction.DisjunctionPredicate
private static final class	Limit.LimitPredicate
private static final class	SetOf.SetOfPredicate

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

Modifier and Type	Field	Description
private final Predicate	Conjunction.ConjunctionPredicate.firstPredicate
private Predicate	Disjunction.DisjunctionPredicate.firstPredicate
private final Predicate	Limit.LimitPredicate.predicate
private Predicate	Conjunction.ConjunctionPredicate.secondPredicate
private Predicate	Disjunction.DisjunctionPredicate.secondPredicate

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

Modifier and Type	Method	Description
private Predicate	Disjunction.createIfThenElse(Term ifThenTerm, Term elseTerm)
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)

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

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

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

Modifier	Constructor	Description
private	ConjunctionPredicate(Predicate firstPredicate, PredicateFactory secondPredicateFactory, Term secondArgument)
private	LimitPredicate(Predicate predicate, long limit)

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

Classes in org.projog.core.predicate.builtin.construct that implement Predicate

Modifier and Type	Class	Description
private static class	AtomConcat.Retryable

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

Modifier and Type	Method	Description
protected Predicate	AtomConcat.getPredicate(Term prefix, Term suffix, Term combined)

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

Classes in org.projog.core.predicate.builtin.db that implement Predicate

Modifier and Type	Class	Description
private static final class	Recorded.RecordedPredicate

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

Modifier and Type	Method	Description
protected Predicate	Recorded.getPredicate(Term key, Term value)
protected Predicate	Recorded.getPredicate(Term key, Term value, Term reference)

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

Classes in org.projog.core.predicate.builtin.flow that implement Predicate

Modifier and Type	Class	Description
private static final class	Cut.CutPredicate
private static class	RepeatInfinitely.RepeatInfinitelyPredicate
private static final class	RepeatSetAmount.RepeatSetAmountPredicate

Methods in org.projog.core.predicate.builtin.flow that return Predicate

Modifier and Type	Method	Description
protected Predicate	Cut.getPredicate()
protected Predicate	RepeatInfinitely.getPredicate()
protected Predicate	RepeatSetAmount.getPredicate(Term arg)

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

Classes in org.projog.core.predicate.builtin.kb that implement Predicate

Modifier and Type	Class	Description
private static class	CurrentPredicate.Retryable
private final class	Inspect.InspectPredicate

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

Modifier and Type	Method	Description
protected Predicate	CurrentPredicate.getPredicate(Term arg)
protected Predicate	Inspect.getPredicate(Term clauseHead)
protected Predicate	Inspect.getPredicate(Term clauseHead, Term clauseBody)

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

Classes in org.projog.core.predicate.builtin.list that implement Predicate

Modifier and Type	Class	Description
private static final class	Append.AppendPredicate
private static class	Fold.Retryable
private static final class	Last.LastPredicate
private static class	Length.Retryable
private static class	MapList.Retryable
private final class	Member.MemberPredicate
private class	Nth.Retryable
private static final class	Reverse.ReversePredicate
private static final class	Select.SelectPredicate

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

Modifier and Type	Field	Description
private final List<Predicate>	Fold.Retryable.predicates
private final List<Predicate>	MapList.Retryable.predicates

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

Modifier and Type	Method	Description
private static Predicate	Fold.getFoldPredicate(PredicateFactory pf, Term action, Term values, Term start, Term result)
private static Predicate	MapList.getMapListPredicate(PredicateFactory pf, Term[] input)
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)

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

Classes in org.projog.core.predicate.udp that implement Predicate

Modifier and Type	Class	Description
(package private) final class	InterpretedTailRecursivePredicate	A implementation of TailRecursivePredicate for interpreted user defined predicates.
final class	InterpretedUserDefinedPredicate	Represents a user defined predicate.
static class	SingleRetryableRulePredicateFactory.RetryableRulePredicate
class	TailRecursivePredicate	A template for implementations of Predicate that are tail recursive.

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

Modifier and Type	Field	Description
private Predicate	InterpretedUserDefinedPredicate.currentPredicate
private Predicate	SingleRetryableRulePredicateFactory.RetryableRulePredicate.p

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

Modifier and Type	Method	Description
(package private) static Predicate	PredicateUtils.createFailurePredicate(SpyPoints.SpyPoint spyPoint, Term[] args)
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)
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)
Predicate	NeverSucceedsPredicateFactory.getPredicate(Term[] args)
Predicate	SingleNonRetryableRulePredicateFactory.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)
static Predicate	PredicateUtils.toPredicate(boolean result)