Программа логики ограничений — это логическая программа, которая содержит ограничения в теле предложений. Пример предложения, включающего ограничение: A (X, Y): — X + Y>0, B (X), C (Y). В этом разделе X + Y>0 — ограничение; A (X, Y) , B (X) и C (Y) — это литералы, как в обычном логическом программировании. В этом разделе указано одно условие, при котором выполняется оператор A (X, Y): X + Y больше нуля, и оба B (X) и C (Y) верны.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]