B-Prolog 8.0

Версия реализации B-Prolog языка программирования Prolog

Версия B-Prolog 8.0, выпущенная 21 сентября 2013 года.

Основные изменения относительно версии B-Prolog 7.8#5:

Интерфейс к MiniSAT под Windows (на Unix-системах используется Lingeling).
Улучшения производительности (время компиляции, табулированные программы, мультипликативные ограничения).
Встроенные предикаты для задач планирования (bp_plan/2-4, bp_plan_unbounded/2-4, bp_best_plan/2-4, bp_best_plan_unbounded/2-4).
Максимальная арность структур увеличена до 268435455 (2²⁸-1).
Исправления ошибок

Комментарии