SICStus Пролог
| Оригинальный автор(ы) | Матс Карлссон |
|---|---|
| Разработчик(и) | ПОДЪЕМ СИКС |
| Первоначальный выпуск | 1986 год |
| Стабильная версия | 4.9.0 / 18 декабря 2023 г |
| Написано в | С , Пролог |
| Операционная система | Кросс-платформенный |
| Тип | Логическое программирование |
| Лицензия | Собственный |
| Веб-сайт | сикст |
SICStus Prolog — это проприетарная , соответствующая ISO реализация языка логического программирования Prolog . Он разрабатывается Шведским институтом компьютерных наук с 1985 года и уделяет большое внимание производительности и масштабируемости.
История
[ редактировать ]Примерно в 1985 году был основан Шведский институт компьютерных наук (SICS), и Матс Карлссон присоединился к SICS для разработки движка Prolog , который стал бы платформой для исследований или распараллеливания Prolog. Эта работа была выполнена в рамках неофициального проекта Gigalips с участием Дэвида Х.Д. Уоррена из SRI International и исследователей из Манчестерской и Аргоннской национальных лабораторий, а также параллельных усилий. В результате появились вполне зрелые или параллельные Прологи, такие как Aurora и MUSE. Целью этих Прологов было добиться эффективного ускорения за счет прозрачного для программиста параллельного выполнения при одновременной поддержке полного Пролога. Это привело к тому, что SICS распространила SICStus Prolog, который быстро стал популярным в академической среде. [1]
Предварительная спецификация SICStus существовала в 1986 году, черпая вдохновение из DEC-10 Prolog, а также из Quintus . Помимо открытого исходного кода, вескими причинами его популярности были совместимость со стандартами DEC-10 и Quintus Prolog де-факто, очень хорошая производительность и компактный генерируемый код. Профилирование выполнения и компиляция собственного кода также были добавлены позже. В конце 80-х годов Шведское агентство финансирования и несколько компаний профинансировали индустриализацию SICStus, который со временем стал коммерческим продуктом.
К 1995 году SICStus считался де-факто эталоном производительности реализаций Пролога. [2]
В 1998 году компания SICS приобрела Quintus Prolog, и ряд его функций вошли в новые версии SICStus Prolog. Он также поддерживает несколько областей ограничений, включая мощный решатель в конечных областях. Кодовая база SICStus по-прежнему активно поддерживается компанией SICS. [1]
Функции
[ редактировать ]SICStus — это реализация Пролога , соответствующая ISO, основанная на абстрактной машине Уоррена , в которой особое внимание уделяется производительности и стабильности. [1] Он также обеспечивает поддержку веб-приложений. SICStus поддерживает несколько областей ограничений, включая разработанную извне реализацию программирования логики ограничений библиотеки CLP(R) на основе атрибутивных переменных. [3] для решения ограничений над действительными и рациональными числами, а также высокопроизводительная собственная реализация CLP(FD) для решения ограничений над целыми числами. [4] Он содержит множество важных функций для решателей ограничений, таких как сопрограммы, переменные с атрибутами и неограниченные целые числа. Объявление блочной сопрограммы особенно эффективно. Он также включает в себя многие характеристики, возможности и библиотечные модули Quintus Prolog. Начиная с версии 4.3, SICStus также содержит JIT-компилятор (точно в срок) в собственный код, но в настоящее время не имеет поддержки многопоточности или таблиц. [1]
SICStus включает в себя модифицированную версию plunit библиотеки модульного тестирования , первоначально разработанную для SWI-Prolog, и специальную интегрированную среду разработки под названием SPIDER. [1]
Влияние
[ редактировать ]SICStus используется во многих коммерческих приложениях, а также послужил основой для других систем логического программирования. [1] В рамках проекта Gigalips SICStus послужил основой для первоначальной разработки параллельной реализации Prolog &-Prolog, которая позже превратилась в систему Ciao . [1] Эталонная реализация языка логического программирования Gödel , впервые появившаяся примерно в 1992 году, была построена на основе SICStus Prolog и использовала другой стиль синтаксиса. [1]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Jump up to: а б с д и ж г час Кернер, Филипп; Леушель, Майкл; Барбоза, Жуан; Коста, Витор Сантос; Даль, Вероника; Эрменегильдо, Мануэль В.; Моралес, Хосе Ф.; Вилемакер, Ян; Диас, Дэниел; Абреу, Сальвадор; Чатто, Джованни (2022). «Пятьдесят лет Пролога и не только» . Теория и практика логического программирования . 22 (6): 776–858. дои : 10.1017/S1471068422000102 . hdl : 10174/33387 . ISSN 1471-0684 .
- ^ Кодонье, Филипп; Диас, Дэниел (16 июня 1995 г.), «wamcc: Компиляция Пролога в C» , Логическое программирование , MIT Press, стр. 317–332, ISBN 978-0-262-29143-9 , получено 18 декабря 2023 г.
- ^ Хольцбаур, Кристиан (1995). «Руководство OEFAI clp(q,r), версия 1.3.2», . ÖFAI Технические отчеты в Интернете (95–09).
- ^ Гелессус, Дэвид; Леушель, Майкл (2022). «Совместимость ProB с SWI-Prolog» . Теория и практика логического программирования . 22 (5): 755–769. arXiv : 2205.04373 . дои : 10.1017/S1471068422000230 . ISSN 1471-0684 .
Дальнейшее чтение
[ редактировать ]- Карлссон, Матс; Милднер, Пер (2012). «SICStus Prolog — первые 25 лет» . Теория и практика логического программирования . 12 (1–2): 35–66. arXiv : 1011.5640 . дои : 10.1017/S1471068411000482 . ISSN 1475-3081 .
По состоянию на 16 декабря 2023 г. эта статья полностью или частично взята из книги « Пятьдесят лет Пролога и за его пределами» , автором которой является Филипп Кёрнер. Майкл Лешель,Жоао Барбоза,Витор Сантос Коста,Вероника Даль,Мануэль В. Эрменегильдо,Хосе Ф. Моралес,Ян Вилемакер,Дэниел Диас,Сальвадор Абреу,Джованни Чиатто. Владелец авторских прав лицензировал контент таким образом, чтобы его можно было повторно использовать в соответствии с CC BY-SA 3.0 и GFDL . Все соответствующие условия должны быть соблюдены.