Добро пожаловать в B-Prolog, системы универсальным и эффективным сдерживающим логика программирования (CLP)! В-Пролог доводится до вас Afany Software (Нью-Йорк), КЛС (Токио), и NandaSoft (Нанкин).
Рождение CLP является важной вехой в истории языков программирования. CLP сочетает в себе два декларативные парадигмы программирования: логика программирования и решении ограничение. Декларативный характер доказала привлекательным в многочисленных приложениях, включая системы автоматизированного проектирования и проверки, базы данных, добыча данных, программного обеспечения, оптимизации, настройки, графическим пользовательским интерфейсом и обработки языка. Это значительно повышает производительность разработки программного обеспечения и программного обеспечения ремонтопригодности. Кроме того, из-за наличия эффективного ограничения решения, управление памятью, и методов компиляции, CLP программы могут быть более эффективными, чем их коллеги написано в процедурных языках.
Что нового В этом выпуске:
- Поддержка UTF-8.
- Новые встроенные модули: GETPID / 1, bp_current_resource / 1.
- исправления и улучшения:
Планировщик
между / 3.
вычесть / 3.
Умножение ограничение
Комментарии не найдены