Uses of Class
org.projog.core.predicate.AbstractPredicateFactory

Packages that use AbstractPredicateFactory

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

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

Subclasses of AbstractPredicateFactory in org.projog.core.predicate.builtin.classify

Modifier and Type	Class	Description
final class	CharType	char_type(X,Y) - classifies characters.

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

Subclasses of AbstractPredicateFactory in org.projog.core.predicate.builtin.clp

Modifier and Type	Class	Description
final class	Resolve	label([X]) - assigns concrete values to the given CLP variables.

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

Subclasses of AbstractPredicateFactory in org.projog.core.predicate.builtin.compare

Modifier and Type	Class	Description
final class	Between	between(X,Y,Z) - checks if a number is within a specified range.

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

Subclasses of AbstractPredicateFactory in org.projog.core.predicate.builtin.compound

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.
private static final class	Conjunction.OptimisedRetryableConjuction
final class	Disjunction	X;Y - disjunction.
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	SetOf	setof(X,P,L) - find all solutions that satisfy the goal.

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

Subclasses of AbstractPredicateFactory in org.projog.core.predicate.builtin.construct

Modifier and Type	Class	Description
final class	AtomConcat	atom_concat(X, Y, Z) - concatenates atom names.

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

Subclasses of AbstractPredicateFactory in org.projog.core.predicate.builtin.db

Modifier and Type	Class	Description
final class	Recorded	recorded(X,Y,Z) - checks if a term is associated with a key.

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

Subclasses of AbstractPredicateFactory in org.projog.core.predicate.builtin.flow

Modifier and Type	Class	Description
final class	Cut	! - the "cut".
final class	RepeatInfinitely	repeat - always succeeds.
final class	RepeatSetAmount	repeat(N) - succeeds N times.

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

Subclasses of AbstractPredicateFactory in org.projog.core.predicate.builtin.kb

Modifier and Type	Class	Description
final class	CurrentPredicate	current_predicate(X) - unifies with defined predicates.
final class	Inspect	clause(X,Y) / retract(X) - matches terms to existing clauses.

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

Subclasses of AbstractPredicateFactory in org.projog.core.predicate.builtin.list

Modifier and Type	Class	Description
final class	Append	append(X,Y,Z) - concatenates two lists.
final class	Fold	foldl(PredicateName, Values, Start, Result) - combines elements of a list into a single term.
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	Member	member(E, L) - enumerates members of a list.
final class	Nth	nth0(X,Y,Z) / nth1(X,Y,Z) - examines an element of a list.
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.