See: Description
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. |
Copyright © 2024. All rights reserved.