Программирование ограничений, логическое — форма программирования ограничений, в которой логическое программирование расширен, чтобы включать концепции из удовлетворения ограничений.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]
Программирование ограничений, логическое (Constraint logic programming) – это расширенная версия логического программирования, которая создается путем комбинирования ограниченного программирования с логическим программированием. Ограниченное программирование – это форма декларативного программирования, которая использует математические ограничения, чтобы определить, как переменные в программе связаны друг с другом.
[Чесалов А. Ю. Глоссариум по искусственному интеллекту: 2500 терминов/ А. Ю. Чесалов — «Издательские решения» 2022 г., 670 стр.]