XSB
| Парадигма | Логическое программирование |
|---|---|
| Разработано | Дэвид С. Уоррен, Терренс Свифт, Костис Сагонас |
| Стабильная версия | 5.0 / 12 мая 2022 г |
| ТЫ | Кросс-платформенный |
| Расширения имен файлов | .П |
| Веб-сайт | Sourceforge.net |
| Под влиянием | |
| Пролог , ПСБ-Пролог, СБ-Пролог | |
XSB — это название диалекта Пролог языка программирования и его реализации, разработанной в Университете Стоуни-Брук в сотрудничестве с Католическим университетом Левена , Новым университетом Лиссабона , Университетом Упсалы и поставщиком программного обеспечения XSB, Inc.
XSB расширяет Пролог табличным разрешением и HiLog .
Функции
[ редактировать ]XSB — это скомпилированный диалект Пролога, основанный на абстрактной машине Уоррена . [1] В отличие от систем, производных от Quintus , XSB использует систему модулей , основанную на атомах Пролога . [1] Он имеет табличное разрешение и поддерживает язык HiLog (что позволяет ограниченно программировать логику высшего порядка ). [1] Таблицы позволяют XSB реализовать обоснованную семантику. [1] и делает его пригодным в качестве дедуктивного механизма базы данных. [2] Реализация XSB с открытым исходным кодом включает интерфейс к языку программирования Python. [3]
История
[ редактировать ]XSB был первоначально разработан в Университете Стоуни-Брук Дэвидом С. Уорреном, Терренсом Свифтом и Костисом Сагонасом и запущен в 1993–1994 годах. Он был основан на языке SB-Prolog, который также был разработан в Университете Стоуни-Брук в 1986 году, и это была первая реализация табличного разрешения . [1]
Синтаксис
[ редактировать ]утвержденные ISO, XSB поддерживает типы данных Пролога, такие как целые числа , числа с плавающей запятой и атомы . Целые числа в XSB можно интерпретировать в нескольких системах счисления. По умолчанию целые числа интерпретируются по основанию 10, но их можно интерпретировать в диапазоне оснований от 2 до 36 . [4]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Jump up to: а б с д и Кернер, Филипп; Леушель, Майкл; Барбоза, Жуан; Коста, Витор Сантос; Даль, Вероника; Эрменегильдо, Мануэль В.; Моралес, Хосе Ф.; Вилемакер, Ян; Диас, Дэниел; Абреу, Сальвадор; Чатто, Джованни (ноябрь 2022 г.). «Пятьдесят лет Пролога и не только» . Теория и практика логического программирования . 22 (6): 776–858. arXiv : 2201.10816 . дои : 10.1017/S1471068422000102 . ISSN 1471-0684 .
- ^ Брасс, Стефан; Венцель, Марио (2019). «Анализ производительности и сравнение дедуктивных систем и баз данных SQL» (PDF) . В Альвиано, Марио (ред.). Журнал данных 2.0 2019 . Материалы семинара CEUR. Том. 2368. стр. 27–38.
- ^ Андерсен, Карл; Свифт, Тереза (2023), «Система Янус: мост к новым приложениям Пролога» , Пролог: следующие 50 лет , Чам: Springer Nature Switzerland, стр. 93–104, ISBN 978-3-031-35253-9 , получено 14 ноября 2023 г.
- ^ Свифт, Тереза; Уоррен, Дэвид С. (13 мая 2022 г.). Руководство программиста системы XSB версии 5.0.x.
Дальнейшее чтение
[ редактировать ]- Уоррен, Дэвид (2020). Программирование на табличном прологе (PDF) (черновая ред.).
- Свифт, Терренс; Уоррен, Дэвид С. (2012). «XSB: расширение Пролога с помощью программирования табличной логики» . Теория и практика логического программирования . 12 (1–2): 157–187. arXiv : 1012.5123 . дои : 10.1017/S1471068411000500 . ISSN 1471-0684 . S2CID 6153112 .
Внешние ссылки
[ редактировать ] | Эта языкам программирования, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |