XSB - это диалект языка программирования Пролог и его реализация, разработанная в Университете Стони Брук в сотрудничестве с Католическим университетом Лёвена , Новым университетом Лиссабона , Университетом Упсалы и поставщиком программного обеспечения XSB, Inc.
Парадигма | Логическое программирование |
---|---|
Разработано | Дэвид С. Уоррен, Терренс Свифт, Костис Сагонас |
Разработчик | XSB Research Group |
Стабильный выпуск | 3.8 / 29 октября 2017 г . |
Операционные системы | Кроссплатформенность |
Расширения имени файла | .П |
Веб-сайт | http://xsb.sourceforge.net/ |
Под влиянием | |
Пролог , ПСБ-Пролог , СБ-Пролог |
XSB расширяет Пролог с внесенным разрешением и HiLog (стандартное расширением Пролог выдачи разрешений ограниченного логического программирования высокого порядка ).
Реализация XSB с открытым исходным кодом включает интерфейс к языку программирования Java .
История
XSB был первоначально разработан в Университете Стоуни Брук Дэвидом С. Уорреном, Терренсом Свифтом и Костисом Сагонасом. Он был основан на языке SB-Prolog, который также был разработан в Университете Стони Брук в 1986 году. [1] [2] Это язык логического программирования .
Синтаксис
XSB поддерживает несколько типов данных стандартных языков программирования, таких как целые числа , числа с плавающей запятой и атомы .
Целые числа в XSB можно интерпретировать в нескольких основаниях. По умолчанию целых чисел интерпретируются в основании 10 , но могут быть истолкованы в диапазоне оснований от 2 до 36 . [3]
Атомы похожи на струны . Они представляют собой последовательность символов.
Внешние ссылки
- XSB
- Техническое резюме XSB
- Программирование на табличном прологе : черновик книги Дэвида С. Уоррена из Университета Стоуни-Брук о программировании XSB.
- Руководство системного программиста XSB от Терренса Свифта , Дэвида С. Уоррена и других
- Информация о Stony Brook Prolog
Рекомендации
- Т. Свифт и Д. С. Уоррен (2011 г.), XSB: Расширение возможностей Пролога с помощью Таблинга . Теория и практика логического программирования (TPLP), Cambridge University Press, 2011.
- К. Сагонас, Т. Свифт и Д. С. Уоррен (1994), XSB как эффективное дедуктивное ядро СУБД . Труды Международной конференции ACM SIGMOD по управлению данными, 1994.
- Т. Свифт и Д. С. Уоррен (1995), Абстрактная машина для разрешения SLG: Определенные программы . Труды симпозиума по логическому программированию, 1995.
- ^ http://www.cs.sunysb.edu/~sbprolog/manual/manual1.pdf
- ^ https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/0.html
- ^ http://www.cs.sunysb.edu/~sbprolog/manual1/node38.html