Программирование логическое с ограничениями — форма программирования с ограничениями, в которой логическое программирование дополнено концепциями удовлетворения ограничений. Логическая программа с ограничениями — это логическая программа, содержащая ограничения в теле правил. Примером правила, содержащего ограничение, является 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:// en.wikipedia.org›wiki/Glossary_of_artificial_intelligence/, свободный.]