ЭКЛиПСе
затмение Обзор ECLiPSe ECLiPSe — система для разработки приложений с ограничениями, включая оптимизацию и планирование. Подходит для обучения комбинаторным задачам […]
Логическое программирование с ограничениями
Вики
Параллельное программирование логики ограничений
Параллельное программирование логики ограничений Основы параллельного логического программирования с ограничениями Параллельное логическое программирование с ограничениями фокусируется на программировании параллельных процессов,
Вики
Программирование логики ограничений
Программирование логики ограничений Основы логики ограничений Логика ограничений — это расширение логики первого порядка, позволяющее выражать ограничения на переменные. Ограничения