Программирование логики ограничений
Программирование ограничений, логическое — форма программирования ограничений, в которой логическое программирование расширен, чтобы включать концепции из удовлетворения ограничений. [Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http://