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

Predicates for the construction of compound/complex sentences.

See: Description

Class Summary

Class	Description
BagOf	bagof(X,P,L) - find all solutions that satisfy the goal.
Call	call(X) - calls the goal represented by a term.
Conjunction	X,Y - conjunction.
Disjunction	X;Y - disjunction.
FindAll	findall(X,P,L) - find all solutions that satisfy the goal.
IfThen	X->Y - if X succeeds then Y is evaluated.
Limit	limit(N, X) - calls the goal represented by a term a maximum number of times.
Not	\+ X - "not".
Once	once(X) - calls the goal represented by a term.
SetOf	setof(X,P,L) - find all solutions that satisfy the goal.

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

Predicates for the construction of compound/complex sentences.