software.wikisort.org - Язык_программирования

Search / Calendar

SWI-Prolog — свободная (открытая) реализация языка программирования Пролог, часто используемая для преподавания и приложений Semantic Web.

SWI-Prolog
Класс языка Логическое программирование
Тип исполнения интерпретация
Появился в 1987
Автор Jan Wielemaker
Разработчик Jan Wielemaker[d]
Выпуск 8.4.0 (30 сентября 2021)
Тестовая версия 8.5.1
Система типов динамическая
Основные реализации SWI-Prolog
Лицензия 2-пунктная лицензия BSD[d][1][2][3]
Сайт swi-prolog.org
ОС GNU/Linux[d][3], BSD[d][3], macOS[3], Microsoft Windows[3] и Android[3]
 Медиафайлы на Викискладе

Эта реализация предоставляет богатый набор возможностей, библиотеки для логического программирования в ограничениях  (англ.) (рус., многопоточности, юнит-тестирования, GUI, интерфейс к языку программирования Java, ODBC и т. д., поддерживает литературное программирование, содержит реализацию веб-сервера, библиотеки для SGML, RDF, RDFS, средства разработчика (включая IDE с графическими отладчиком и профилировщиком) и обширную документацию.

SWI-Prolog работает на платформах Unix, Windows и Macintosh.

SWI-Prolog постоянно развивается, начиная с момента создания в 1987 году. Его создателем и основным разработчиком является Ян Вилемакер  (англ.) (рус.. Название SWI происходит от Sociaal-Wetenschappelijke Informatica («Social Science Informatics»), первоначального названия группы в Амстердамском университете, где работает Wielemaker. Позже название этой группы сменилось на HCS (Human-Computer Studies).


XPCE


XPCE — это платформо-независимый GUI тулкит для SWI-Prolog, Lisp и других интерактивных динамически типизированных языков программирования. Хотя XPCE замышлялся, как не привязанный к конкретному языку программирования, наибольшую популярность этот фреймворк получил именно с Prolog. Развитие графической библиотеки XPCE было начато в 1987, совместно с началом работ над SWI-Prolog.

Поддерживает кнопки, меню, слайдеры, вкладки и другие базовые GUI виджеты. XPCE доступен на всех платформах, поддерживаемых SWI-Prolog’ом.


PceEmacs


PceEmacs — встроенный в среду SWI-Prolog текстовый редактор. PceEmacs — это клон Emacs, написанный на Prolog (и XPCE). Он поддерживает автоматические отступы, подсветку синтаксиса, полную проверку синтаксиса путём вызова парсера SWI-Prolog, предупреждения о singleton переменных и поиск определений предикатов на основе исходного кода в Prolog-базе данных.


См. также



Примечания


  1. https://github.com/SWI-Prolog/swipl/blob/master/LICENSE
  2. https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L28
  3. Free Software Directory

Ссылки




Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.org внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2025
WikiSort.org - проект по пересортировке и дополнению контента Википедии