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
final 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
final class	Is	X is Y - evaluate arithmetic expression.
final 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
final class	BagOf	bagof(X,P,L) - find all solutions that satisfy the goal.
final class	Conjunction	X,Y - conjunction.
final class	Disjunction	X;Y - disjunction.
final class	FindAll	findall(X,P,L) - find all solutions that satisfy the goal.
final class	IfThen	X->Y - if X succeeds then Y is evaluated.
final class	Limit	limit(N, X) - calls the goal represented by a term a maximum number of times.
final class	Not	\+ X - "not".
final class	Once	once(X) - calls the goal represented by a term.
final 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
final class	Fold	foldl(PredicateName, Values, Start, Result) - combines elements of a list into a single term.
final class	MapList	maplist(X,Y) / maplist(X,Y,Z) - determines if a goal succeeds against elements of a list.
final class	MemberCheck	memberchk(E, L) - checks is a term is a member of a list.
final 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) 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