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

package org.projog.core.predicate.builtin.compound

Predicates for the construction of compound/complex sentences.

Related Packages

Package	Description
org.projog.core.predicate.builtin	Provides built-in predicates to provide functionality not possible in pure Prolog.

Classes

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.