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