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
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
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
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
class	BagOf	bagof(X,P,L) - find all solutions that satisfy the goal.
class	Conjunction	X,Y - conjunction.
private static class	Conjunction.OptimisedRetryableConjuction
class	Disjunction	X;Y - disjunction.
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	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
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
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
class	Cut	! - the "cut".
class	RepeatInfinitely	repeat - always succeeds.
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
class	CurrentPredicate	current_predicate(X) - unifies with defined predicates.
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
class	Append	append(X,Y,Z) - concatenates two lists.
class	Fold	foldl(PredicateName, Values, Start, Result) - combines elements of a list into a single term.
class	Last	last(X,Y) - finds the last element of a list.
class	Length	length(X,Y) - determines the length of a list.
class	Member	member(E, L) - enumerates members of a list.
class	Nth	nth0(X,Y,Z) / nth1(X,Y,Z) - examines an element of a list.
class	Reverse	reverse(X,Y) - reverses the order of elements in a list.
class	Select	select(X,Y,Z) - removes an element from a list.