SWI-Prolog

SWI-Prolog - это открытая среда разработки языка программирования Prolog. Чаще всего данный язык используется для создания приложений Semantic Web. Программа "комплектуется" продвинутыми инструментами дебаггинга, функцией трассировки кода, а также набором специализированных инструкций. Для выполнения этих самых инструкций программа использует собственную виртуальную машину, что позволяет добиться увеличения скорости компиляции и уменьшения нагрузки на систему.

Одним из важнейших преимуществ SWI-Prolog можно считать возможность работы с кодом C / C++. Благодаря ей среда поддерживает огромное количество приложений и переменных. Статический и динамический код можно проанализировать с помощью любого аргумента (прямо из контекстного меню). В состав SWI-Prolog входят: инструмент настройки кросс-ссылок, инструмент экспорта статистики, инструмент установки зависимостей, серверные библиотеки, парсеры HTML, RDF и XML, а также текстовый редактор PceEmacs. Последний, по сути, является точной копией редактора Emacs, написанным на языке Prolog.

Несмотря на то, что SWI-Prolog имеет вполне интуитивный интерфейс, ее чаще всего используют в связке с платформо-независимым GUI-тулкитом XPCE. Данный фреймворк предлагает удобные слайдеры, меню, вкладки и прочие GUI-виджеты. В общем, XPCE сильно упрощает работу со средой SWI-Prolog и делает ее гораздо более комфортной.

IDE является совершенно бесплатной, имеет открытый исходный код и активно развивается автором/сообществом.