In this clause, X+Y>0 is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming.
У овој клаузули, X+Y>0 је ограничење; A(X,Y), B(X), и C(Y) су литерали као у редовном логичком програмирању.