As an example, X>0 is a constraint, and is included in the last clause of the following constraint logic program.
Као пример, X>0 је ограничење, а укључена је у последњој клаузули следећег принудног логичког програма.