Описание тега b-prolog

Описание тега Вопросы с тегом
B-Prolog - это высокопроизводительная реализация стандартного языка Prolog с несколькими расширенными функциями, включая предложения соответствия, правила действий для обработки событий, решения ограничений в конечных областях, массивы и хеш-таблицы, декларативные циклы и табулирование.

B-Prolog - это высокопроизводительная реализация стандартного языка Prolog с несколькими расширенными функциями, включая предложения соответствия, правила действий для обработки событий, решения ограничений в конечных областях, массивы и хеш-таблицы, декларативные циклы и табулирование.

Впервые выпущенный в 1994 году, B-Prolog теперь широко используется CLP-системой.

Решатель ограничений B-Prolog занял первое место в двух категориях во Втором международном конкурсе решателей, а также занял второе место в классе P во втором конкурсе решателей ASP и второе место в общем зачете в третьем конкурсе решателей ASP.

B-Prolog поддерживает систему PRISM, основанную на логике вероятностную систему рассуждений и обучения.

B-Prolog является коммерческим продуктом, но его можно бесплатно использовать в учебных и некоммерческих целях (начиная с версии 7.8 для индивидуальных пользователей, включая коммерческих индивидуальных пользователей, B-Prolog бесплатен)

Источник: http://en.wikipedia.org/wiki/B-Prolog