Вы здесь

constraint logic programming