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

Packages that use PreprocessablePredicateFactory

Package	Description
org.projog.core.predicate
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.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 PreprocessablePredicateFactory in org.projog.core.predicate

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

Modifier and Type	Class	Description
class	UnknownPredicate	Represents all predicates that a KnowledgeBase has no definition of.

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

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

Modifier and Type	Class	Description
class	Is	X is Y - evaluate arithmetic expression.
class	PredSort	predsort(X,Y,Z) - sorts a list using the specified predicate.

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

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

Modifier and Type	Class	Description
class	BagOf	bagof(X,P,L) - find all solutions that satisfy the goal.
class	Conjunction	X,Y - conjunction.
class	Disjunction	X;Y - disjunction.
class	FindAll	findall(X,P,L) - find all solutions that satisfy the goal.
class	IfThen	X->Y - if X succeeds then Y is evaluated.
class	Limit	limit(N, X) - calls the goal represented by a term a maximum number of times.
class	Not	\+ X - "not".
class	Once	once(X) - calls the goal represented by a term.
class	SetOf	setof(X,P,L) - find all solutions that satisfy the goal.

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

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

Modifier and Type	Class	Description
class	Fold	foldl(PredicateName, Values, Start, Result) - combines elements of a list into a single term.
class	MapList	maplist(X,Y) / maplist(X,Y,Z) - determines if a goal succeeds against elements of a list.
class	MemberCheck	memberchk(E, L) - checks is a term is a member of a list.
class	SubList	include(X,Y,Z) - filters a list by a goal.

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

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

Modifier and Type	Class	Description
(package private) class	SingleNonRetryableRulePredicateFactory
(package private) class	SingleRetryableRulePredicateFactory
class	StaticUserDefinedPredicateFactory	Maintains a record of the clauses that represents a "static" user defined predicate.
private class	StaticUserDefinedPredicateFactory.IndexablePredicateFactory
private class	StaticUserDefinedPredicateFactory.LinkedHashMapPredicateFactory
private class	StaticUserDefinedPredicateFactory.NotIndexablePredicateFactory
private class	StaticUserDefinedPredicateFactory.SingleIndexPredicateFactory