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

Packages that use PredicateFactory

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

Uses of PredicateFactory in org.projog.api

Fields in org.projog.api declared as PredicateFactory

Modifier and Type	Field	Description
private final PredicateFactory	QueryPlan.predicateFactory
private final PredicateFactory	QueryStatement.predicateFactory

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

Modifier and Type	Method	Description
void	Projog.addPredicateFactory(PredicateKey key, PredicateFactory predicateFactory)	Associates a PredicateFactory with the KnowledgeBase of this Projog.

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

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

Uses of PredicateFactory in org.projog.core.predicate

Subinterfaces of PredicateFactory in org.projog.core.predicate

Modifier and Type	Interface	Description
interface	PreprocessablePredicateFactory

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

Modifier and Type	Class	Description
class	AbstractPredicateFactory
class	AbstractSingleResultPredicate	Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
final class	UnknownPredicate	Represents all predicates that a KnowledgeBase has no definition of.

Fields in org.projog.core.predicate declared as PredicateFactory

Modifier and Type	Field	Description
private PredicateFactory	UnknownPredicate.actualPredicateFactory

Fields in org.projog.core.predicate with type parameters of type PredicateFactory

Modifier and Type	Field	Description
private final Map<PredicateKey, PredicateFactory>	Predicates.javaPredicateInstances	The instances of "built-in" Java predicates (i.e.

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

Modifier and Type	Method	Description
private PredicateFactory	Predicates.getExistingPredicateFactory(PredicateKey key)
PredicateFactory	Predicates.getPredicateFactory(PredicateKey key)	Returns the PredicateFactory associated with the specified PredicateKey.
PredicateFactory	Predicates.getPredicateFactory(Term term)	Returns the PredicateFactory associated with the specified Term.
PredicateFactory	Predicates.getPreprocessedPredicateFactory(Term term)
private PredicateFactory	Predicates.instantiatePredicateFactory(String className)
private PredicateFactory	Predicates.instantiatePredicateFactory(PredicateKey key)
PredicateFactory	PreprocessablePredicateFactory.preprocess(Term arg)
PredicateFactory	UnknownPredicate.preprocess(Term arg)
private PredicateFactory	Predicates.unknownPredicate(PredicateKey key)

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

Modifier and Type	Method	Description
void	Predicates.addPredicateFactory(PredicateKey key, PredicateFactory predicateFactory)	Associates a PredicateFactory with this KnowledgeBase.

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

Classes in org.projog.core.predicate.builtin.bool that implement PredicateFactory

Modifier and Type	Class	Description
final class	Fail	fail - always fails.
final class	True	true - always succeeds.

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

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

Modifier and Type	Class	Description
final class	CharType	char_type(X,Y) - classifies characters.
final class	IsAtom	atom(X) - checks that a term is an atom.
final class	IsAtomic	atomic(X) - checks that a term is atomic.
final class	IsCompound	compound(X) - checks that a term is a compound term.
final class	IsFloat	float(X) - checks that a term is a floating point number.
final class	IsInteger	integer(X) - checks that a term is an integer.
final class	IsList	is_list(X) - checks that a term is a list.
final class	IsNonVar	nonvar(X) - checks that a term is not an uninstantiated variable.
final class	IsNumber	number(X) - checks that a term is numeric.
final class	IsVar	var(X) - checks that a term is an uninstantiated variable.

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

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

Modifier and Type	Class	Description
final class	AddExpressionFactory	pj_add_clp_expression(X,Y) - defines a Java class as an CLP expression.
final class	BooleanConstraintPredicate	CLP predicates for comparing boolean values.
final class	Distinct	all_different([X,Y,Z]) - enforce that none of the given CLP variables share the same value.
final class	In	X in 1..4 / [X,Y,Z] ins 1..4 - restrict CLP variables to a range of values.
final class	NumericConstraintPredicate	CLP predicates for comparing numeric values.
final class	Resolve	label([X]) - assigns concrete values to the given CLP variables.

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

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

Modifier and Type	Class	Description
(package private) class	AbstractNumericComparisonPredicate
final class	Between	between(X,Y,Z) - checks if a number is within a specified range.
final class	Compare	compare(X,Y,Z) - compares arguments.
final class	Equal	X=Y - an equality test.
final class	Is	X is Y - evaluate arithmetic expression.
private static final class	Is.PreprocessedIs
private static final class	Is.Unify
final class	NotStrictEquality	X\==Y - a strict equality test.
final class	NotUnifiable	X \= Y - checks whether two terms cannot be unified.
final class	NumericEquality	X=:=Y - numeric equality test.
final class	NumericGreaterThan	X>Y - numeric "greater than" test.
final class	NumericGreaterThanOrEqual	X>=Y - numeric "greater than or equal" test.
final class	NumericInequality	X=\=Y - numeric inequality test.
final class	NumericLessThan	X<Y - numeric "less than" test.
final class	NumericLessThanOrEqual	X=<Y - numeric "less than or equal" test.
final class	PredSort	predsort(X,Y,Z) - sorts a list using the specified predicate.
private static class	PredSort.PreprocessedPredSort
final class	StrictEquality	X==Y - a strict equality test.
final class	TermGreaterThan	X@>Y - term "greater than" test.
final class	TermGreaterThanOrEqual	X@>=Y - term "greater than or equal" test.
final class	TermLessThan	X@<Y - term "less than" test.
final class	TermLessThanOrEqual	X@=<Y - term "less than or equal" test.
final class	UnifyWithOccursCheck	unify_with_occurs_check(X, Y) - an equality test using sound unification.

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

Modifier and Type	Field	Description
private final PredicateFactory	PredSort.PredSortComparator.pf
private final PredicateFactory	PredSort.PreprocessedPredSort.pf

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

Modifier and Type	Method	Description
PredicateFactory	Is.preprocess(Term arg)
PredicateFactory	PredSort.preprocess(Term term)

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

Modifier and Type	Method	Description
private static boolean	PredSort.evaluatePredSort(PredicateFactory pf, Term predicateName, Term input, Term sorted)

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

Modifier	Constructor	Description
private	PredSortComparator(PredicateFactory pf, Term predicateName)
private	PreprocessedPredSort(PredicateFactory pf, Term predicateName)

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

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

Modifier and Type	Class	Description
final class	BagOf	bagof(X,P,L) - find all solutions that satisfy the goal.
private static class	BagOf.PreprocessedBagOf
final class	Call	call(X) - calls the goal represented by a term.
final class	Conjunction	X,Y - conjunction.
private static final class	Conjunction.OptimisedRetryableConjuction
private static final class	Conjunction.OptimisedSingletonConjuction
final class	Disjunction	X;Y - disjunction.
private class	Disjunction.OptimisedDisjunction
private static class	Disjunction.OptimisedIfThenElse
final class	FindAll	findall(X,P,L) - find all solutions that satisfy the goal.
private static class	FindAll.PreprocessedFindAll
final class	IfThen	X->Y - if X succeeds then Y is evaluated.
private static final class	IfThen.OptimisedIfThen
final class	Limit	limit(N, X) - calls the goal represented by a term a maximum number of times.
private static final class	Limit.OptimisedLimit
final class	Not	\+ X - "not".
private static final class	Not.OptimisedNot
final class	Once	once(X) - calls the goal represented by a term.
private static final class	Once.OptimisedOnce
final class	SetOf	setof(X,P,L) - find all solutions that satisfy the goal.
private static class	SetOf.PreprocessedSetOf

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

Modifier and Type	Field	Description
private final PredicateFactory	IfThen.OptimisedIfThen.action
private final PredicateFactory	Disjunction.OptimisedIfThenElse.condition
private final PredicateFactory	IfThen.OptimisedIfThen.condition
private final PredicateFactory	Disjunction.OptimisedIfThenElse.elsePf
private final PredicateFactory	Conjunction.OptimisedRetryableConjuction.firstPredicateFactory
private final PredicateFactory	Conjunction.OptimisedSingletonConjuction.firstPredicateFactory
private final PredicateFactory	AbstractCollectionOf.pf
private final PredicateFactory	BagOf.PreprocessedBagOf.pf
private final PredicateFactory	FindAll.PreprocessedFindAll.pf
private final PredicateFactory	Limit.OptimisedLimit.pf
private final PredicateFactory	Not.OptimisedNot.pf
private final PredicateFactory	Once.OptimisedOnce.pf
private final PredicateFactory	SetOf.PreprocessedSetOf.pf
private final PredicateFactory	Disjunction.DisjunctionPredicate.pf1
private final PredicateFactory	Disjunction.OptimisedDisjunction.pf1
private final PredicateFactory	Disjunction.DisjunctionPredicate.pf2
private final PredicateFactory	Disjunction.OptimisedDisjunction.pf2
private final PredicateFactory	Conjunction.ConjunctionPredicate.secondPredicateFactory
private final PredicateFactory	Conjunction.OptimisedRetryableConjuction.secondPredicateFactory
private final PredicateFactory	Conjunction.OptimisedSingletonConjuction.secondPredicateFactory
private final PredicateFactory	Disjunction.OptimisedIfThenElse.thenPf

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

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

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

Modifier and Type	Method	Description
private static boolean	FindAll.evaluateFindAll(PredicateFactory pf, Term template, Term goal, Term output)
private static boolean	Not.evaluateNot(Term t, PredicateFactory pf)
private static Predicate	Limit.getLimitPredicate(PredicateFactory pf, Term maxAttempts, Term goal)
private Predicate	Disjunction.DisjunctionPredicate.getPredicate(PredicateFactory pf, Term t)

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

Modifier	Constructor	Description
protected	AbstractCollectionOf(PredicateFactory pf, Term template, Term goal, Term bag)
private	BagOfPredicate(PredicateFactory pf, Term template, Term goal, Term bag)
private	ConjunctionPredicate(Predicate firstPredicate, PredicateFactory secondPredicateFactory, Term secondArgument)
private	DisjunctionPredicate(PredicateFactory pf1, PredicateFactory pf2, Term inputArg1, Term inputArg2)
(package private)	OptimisedDisjunction(PredicateFactory pf1, PredicateFactory pf2)
(package private)	OptimisedIfThen(PredicateFactory condition, PredicateFactory action)
(package private)	OptimisedIfThenElse(PredicateFactory condition, PredicateFactory thenPf, PredicateFactory elsePf)
(package private)	OptimisedLimit(PredicateFactory pf)
(package private)	OptimisedNot(PredicateFactory pf)
(package private)	OptimisedOnce(PredicateFactory pf)
(package private)	OptimisedRetryableConjuction(PredicateFactory firstPredicateFactory, PredicateFactory secondPredicateFactory)
(package private)	OptimisedSingletonConjuction(PredicateFactory firstPredicateFactory, PredicateFactory secondPredicateFactory)
(package private)	PreprocessedBagOf(PredicateFactory pf)
	PreprocessedFindAll(PredicateFactory pf)
(package private)	PreprocessedSetOf(PredicateFactory pf)
private	SetOfPredicate(PredicateFactory pf, Term template, Term goal, Term bag)

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

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

Modifier and Type	Class	Description
final class	Arg	arg(N,T,A) - allows access to an argument of a structure.
final class	AtomConcat	atom_concat(X, Y, Z) - concatenates atom names.
final class	CopyTerm	copy_term(X,Y) - makes a copy of a term.
final class	Functor	functor(T,F,N)
final class	NumberVars	numbervars(Term,Start,End) - unifies free variables of a term.
final class	TermSplit	atom_chars / atom_codes / number_chars / number_codes
final class	Univ	X=..L - "univ".

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

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

Modifier and Type	Class	Description
final class	Erase	erase(X) - removes a record from the recorded database.
final class	InsertRecord	recorda(X,Y,Z) / recordz(X,Y,Z) - associates a term with a key.
final class	Recorded	recorded(X,Y,Z) - checks if a term is associated with a key.

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

Classes in org.projog.core.predicate.builtin.debug that implement PredicateFactory

Modifier and Type	Class	Description
final class	AlterSpyPoint	spy(X) / nospy(X) - add or remove a spy point for a predicate.
final class	Debugging	debugging - lists current spy points.
final class	NoDebug	nodebug - removes all current spy points.
final class	NoTrace	notrace - disables exhaustive tracing.
final class	Trace	trace - enables exhaustive tracing.

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

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

Modifier and Type	Class	Description
final class	Cut	! - the "cut".
final class	RepeatInfinitely	repeat - always succeeds.
final class	RepeatSetAmount	repeat(N) - succeeds N times.
final class	Throw	throw(X) - throws an exception with the given message.

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

Classes in org.projog.core.predicate.builtin.io that implement PredicateFactory

Modifier and Type	Class	Description
final class	Close	close(X) - closes a stream.
final class	CurrentInput	current_input(X) - match a term to the current input stream.
final class	CurrentOutput	current_output(X) - match a term to the current output stream.
final class	GetChar	get_char(X) - reads the next character from the input stream.
final class	GetCode	get_code(X) - reads the next character from the input stream.
final class	NewLine	nl - outputs a new line character.
final class	Op	op(X,Y,Z)
final class	Open	open(X,Y,Z) - opens a file.
final class	PutChar	put_char(X) - writes a character.
final class	Read	read(X) - reads a term from the input stream.
final class	See	see(X) - opens a file and sets it as the current input stream.
final class	Seen	seen - closes the current input stream.
final class	SetInput	set_input(X) - sets the current input.
final class	SetOutput	set_output(X) - sets the current output.
final class	Tab	tab(X) - writes X number of spaces to the output stream.
final class	Tell	tell(X) - opens a file and sets it as the current output stream.
final class	Told	told - closes the current output stream.
final class	Write	write(X) - writes a term to the output stream.
final class	WriteCanonical	write_canonical(X) - writes a term to the output stream.
final class	Writef	writef(X,Y) - writes formatted text to the output stream.

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

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

Modifier and Type	Class	Description
final class	AddArithmeticOperator	pj_add_arithmetic_operator(X,Y) - defines a Java class as an arithmetic operator.
final class	AddPredicateFactory	pj_add_predicate(X,Y) - defines a Java class as a built-in predicate.
final class	AddUserDefinedArithmeticOperator	arithmetic_function(X) - defines a predicate as an arithmetic function.
final class	Assert	asserta(X) / assertz(X) - adds a clause to the knowledge base.
final class	Consult	consult(X) - reads clauses and goals from a file.
final class	ConsultList	Read clauses and goals from a list of files.
final class	CurrentPredicate	current_predicate(X) - unifies with defined predicates.
final class	Dynamic	dynamic/1 - indicates that a user defined predicate is dynamic.
final class	EnsureLoaded	ensure_loaded(X) - reads clauses and goals from a file.
final class	Flag	flag(X,Y,Z) - associates a key with a value.
final class	Inspect	clause(X,Y) / retract(X) - matches terms to existing clauses.
final class	Listing	listing(X) - outputs current clauses.
final class	RetractAll	retractall(X) - remove clauses from the knowledge base.

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

Modifier and Type	Field	Description
(package private) final PredicateFactory	AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator.pf

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

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

Modifier and Type	Class	Description
final class	Append	append(X,Y,Z) - concatenates two lists.
final class	AppendListOfLists	append(ListOfLists, List) - concatenates a list of lists.
final class	AtomicListConcat	atomic_list_concat(List,Separator,Atom) / atomic_list_concat(List,Atom)
final class	Delete	delete(X,Y,Z) - remove all occurrences of a term from a list.
final class	ExtremumList	min_list / max_list
final class	Flatten	flatten(X,Y) - flattens a nested list.
final class	Fold	foldl(PredicateName, Values, Start, Result) - combines elements of a list into a single term.
private static class	Fold.OptimisedFold
final class	KeySort	keysort(X,Y) - sorts a list of key/value pairs.
final class	Last	last(X,Y) - finds the last element of a list.
final class	Length	length(X,Y) - determines the length of a list.
final class	MapList	maplist(X,Y) / maplist(X,Y,Z) - determines if a goal succeeds against elements of a list.
private static class	MapList.PreprocessedMapList
final class	Member	member(E, L) - enumerates members of a list.
final class	MemberCheck	memberchk(E, L) - checks is a term is a member of a list.
private static class	MemberCheck.PreprocessedMemberCheck
final class	Nth	nth0(X,Y,Z) / nth1(X,Y,Z) - examines an element of a list.
final class	PairsElements	pairs_keys(Pairs,Keys) / pairs_values(Pairs,Values) - get keys or values from list of Key-Value pairs.
final class	Reverse	reverse(X,Y) - reverses the order of elements in a list.
final class	Select	select(X,Y,Z) - removes an element from a list.
final class	Sort	msort(X,Y) - sorts a list.
final class	SortAsSet	sort(X,Y) - sorts a list and removes duplicates.
final class	SubList	include(X,Y,Z) - filters a list by a goal.
private static final class	SubList.PreprocessedSubList
final class	Subset	subset(X,Y) - checks if a set is a subset.
final class	SubtractFromList	subtract(X,Y,Z) - removes elements from a list.

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

Modifier and Type	Field	Description
(package private) final PredicateFactory	Fold.OptimisedFold.pf
private final PredicateFactory	Fold.Retryable.pf
private final PredicateFactory	MapList.PreprocessedMapList.pf
private final PredicateFactory	MapList.Retryable.pf
private final PredicateFactory	SubList.PreprocessedSubList.predicateFactory

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

Modifier and Type	Method	Description
static PredicateFactory	PartialApplicationUtils.getCurriedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction)
static PredicateFactory	PartialApplicationUtils.getPartiallyAppliedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction, int numberOfExtraArguments)
static PredicateFactory	PartialApplicationUtils.getPreprocessedCurriedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction)
static PredicateFactory	PartialApplicationUtils.getPreprocessedPartiallyAppliedPredicateFactory(Predicates predicates, Term partiallyAppliedFunction, int extraArgs)
PredicateFactory	Fold.preprocess(Term arg)
PredicateFactory	MapList.preprocess(Term input)
PredicateFactory	MemberCheck.preprocess(Term term)
PredicateFactory	SubList.preprocess(Term term)

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

Modifier and Type	Method	Description
static boolean	PartialApplicationUtils.apply(PredicateFactory pf, Term[] args)
private static boolean	Fold.evaluateFold(PredicateFactory pf, Term action, List<Term> values, Term start, Term result)
private static boolean	SubList.evaluateSubList(PredicateFactory pf, Term partiallyAppliedFunction, Term args, Term filteredOutput)
private static Predicate	Fold.getFoldPredicate(PredicateFactory pf, Term action, Term values, Term start, Term result)
private static Predicate	MapList.getMapListPredicate(PredicateFactory pf, Term[] input)
static Predicate	PartialApplicationUtils.getPredicate(PredicateFactory pf, Term action, Term... args)

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

Modifier	Constructor	Description
	OptimisedFold(PredicateFactory pf, Term action)
(package private)	PreprocessedMapList(PredicateFactory pf)
(package private)	PreprocessedSubList(PredicateFactory predicateFactory)
private	Retryable(PredicateFactory pf, Term action, List<Term> values, Term start, Term result)
private	Retryable(PredicateFactory pf, Term action, List<Term>[] lists)

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

Classes in org.projog.core.predicate.builtin.reif that implement PredicateFactory

Modifier and Type	Class	Description
final class	Dif	dif(X,Y) - enforces restriction that the two given terms are never equal.

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

Classes in org.projog.core.predicate.builtin.time that implement PredicateFactory

Modifier and Type	Class	Description
final class	ConvertTime	convert_time(X,Y) - converts a timestamp to a textual representation.
final class	GetTime	get_time(X) - gets the current system time.

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

Subinterfaces of PredicateFactory in org.projog.core.predicate.udp

Modifier and Type	Interface	Description
interface	UserDefinedPredicateFactory	Maintains a record of the clauses that define a user defined predicate.

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

Modifier and Type	Class	Description
final class	DynamicUserDefinedPredicateFactory	Maintains a record of the clauses that represents a "dynamic" user defined predicate.
final class	InterpretedTailRecursivePredicateFactory	Creates "tail recursion optimised" versions of user defined predicates.
(package private) final class	NeverSucceedsPredicateFactory
(package private) final class	SingleNonRetryableRulePredicateFactory
(package private) final class	SingleRetryableRulePredicateFactory
class	StaticUserDefinedPredicateFactory	Maintains a record of the clauses that represents a "static" user defined predicate.
private final class	StaticUserDefinedPredicateFactory.IndexablePredicateFactory
private final class	StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory
private final class	StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory
private final class	StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory

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

Modifier and Type	Field	Description
private PredicateFactory	StaticUserDefinedPredicateFactory.compiledPredicateFactory
private final PredicateFactory[]	InterpretedTailRecursivePredicate.firstClausePredicateFactories
private final PredicateFactory[]	InterpretedTailRecursivePredicateFactory.firstClausePredicateFactories
private final PredicateFactory	ClauseActionFactory.ImmutableConsequentRule.pf
private final PredicateFactory	ClauseActionFactory.MutableRule.pf
private final PredicateFactory	ClauseActionFactory.ZeroArgConsequentRule.pf
private final PredicateFactory[]	InterpretedTailRecursivePredicate.secondClausePredicateFactories
private final PredicateFactory[]	InterpretedTailRecursivePredicateFactory.secondClausePredicateFactories

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

Modifier and Type	Method	Description
private PredicateFactory	StaticUserDefinedPredicateFactory.createInterpretedPredicateFactoryFromClauseActions(Clauses clauses, List<ClauseModel> clauseModels)
private PredicateFactory	StaticUserDefinedPredicateFactory.createInterpretedPredicateFactoryFromClauses(Clauses clauses)
private PredicateFactory	StaticUserDefinedPredicateFactory.createSingleClausePredicateFactory(ClauseAction clause)
PredicateFactory	StaticUserDefinedPredicateFactory.getActualPredicateFactory()
PredicateFactory	SingleNonRetryableRulePredicateFactory.preprocess(Term arg)
PredicateFactory	SingleRetryableRulePredicateFactory.preprocess(Term arg)
PredicateFactory	StaticUserDefinedPredicateFactory.IndexablePredicateFactory.preprocess(Term arg)
PredicateFactory	StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory.preprocess(Term arg)
PredicateFactory	StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory.preprocess(Term arg)
PredicateFactory	StaticUserDefinedPredicateFactory.preprocess(Term arg)
PredicateFactory	StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory.preprocess(Term arg)

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

Modifier	Constructor	Description
private	ImmutableConsequentRule(ClauseModel model, PredicateFactory pf)
(package private)	InterpretedTailRecursivePredicate(SpyPoints.SpyPoint spyPoint, Term[] inputArgs, PredicateFactory[] firstClausePredicateFactories, Term[] firstClauseConsequentArgs, Term[] firstClauseOriginalTerms, PredicateFactory[] secondClausePredicateFactories, Term[] secondClauseConsequentArgs, Term[] secondClauseOriginalTerms, boolean isRetryable)
private	MutableRule(ClauseModel model, PredicateFactory pf)
private	ZeroArgConsequentRule(ClauseModel model, PredicateFactory pf)