Contrary to regular logic programming, this also requires a constraint to be satisfied: X>0, the constraint in the body of the last clause (in regular logic programming, X>0 cannot be proved unless X is bound to a fully ground term and execution of the program will fail if that is not the case).
За разлику од редовне логике програмирања, такође захтева да ограничење треба да задовољ: X>0, ограничење у телу последње клаузуле (у редовном логичком програмирању, X>0 се не може доказати, осим ако је X везан за потпуно приземљени рок и извршење програма неће успети ако то није случај).