B-Prolog

Реализация языка программирования Prolog

B-Prolog — универсальная и эффективная система логического программирования, разрабатываемая Afany Software. Система основана на усовершенствованном WAM, названным ATOAM, который облегчает программную эмуляцию. В дополнение к ATOAM со сборщиком мусора, написанным на C, система состоит из компилятора и интерпретатора, написанных в Prolog, богатой библиотеке встроенных предикатов, реализованных в C и Prolog. B-Prolog поддерживает стандарт ISO Prolog, но обладает собственными особенностями, которые не доступны в традиционных системах.

Интерактивная среда

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

Двунаправленный интерфейс с C или Java

B-Prolog имеет двунаправленный интерфейсу C и Java. Этот интерфейс позволяет интегрировать приложения разрабатываемые в B-Prolog с разрабатываемыми в C, C++, Java.

Правила действия

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

Механизм табулирования

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

Логотип B-Prolog

Ссылки:

Официальный сайт B-Prolog (англ.)