Package org.projog.core.predicate.builtin.compound

Predicates for the construction of compound/complex sentences.

Class Summary

Class	Description
AbstractCollectionOf
AbstractCollectionOf.Key	Represents a combination of possible values for the variables contained in the goal.
BagOf	bagof(X,P,L) - find all solutions that satisfy the goal.
BagOf.BagOfPredicate
BagOf.PreprocessedBagOf
Call	call(X) - calls the goal represented by a term.
Conjunction	X,Y - conjunction.
Conjunction.ConjunctionPredicate
Conjunction.OptimisedRetryableConjuction
Conjunction.OptimisedSingletonConjuction
Disjunction	X;Y - disjunction.
Disjunction.OptimisedIfThenElse
FindAll	findall(X,P,L) - find all solutions that satisfy the goal.
FindAll.PreprocessedFindAll
IfThen	X->Y - if X succeeds then Y is evaluated.
IfThen.OptimisedIfThen
Limit	limit(N, X) - calls the goal represented by a term a maximum number of times.
Limit.LimitPredicate
Limit.OptimisedLimit
Not	\+ X - "not".
Not.OptimisedNot
Once	once(X) - calls the goal represented by a term.
Once.OptimisedOnce
SetOf	setof(X,P,L) - find all solutions that satisfy the goal.
SetOf.PreprocessedSetOf
SetOf.SetOfPredicate