XSB - XSB

XSB
ПарадигмаЛогическое программирование
РазработаноДэвид С. Уоррен, Терренс Свифт, Костис Сагонас
РазработчикXSB Research Group
Стабильный выпуск
3.8 / 29 октября 2017; 3 года назад (2017-10-29)
Операционные системыКроссплатформенность
Расширения имени файла
Интернет сайтhttp://xsb.sourceforge.net/
Под влиянием
Пролог, PSB-Prolog, SB-Prolog

XSB это название диалекта Пролог язык программирования и его реализация разработана в Университет Стоуни-Брук в сотрудничестве с Katholieke Universiteit Leuven, то Новый Лиссабонский университет, Уппсальский университет и поставщик программного обеспечения XSB, Inc.

XSB расширяет Prolog с помощью на столе разрешающая способность и HiLog (стандартное расширение Prolog, позволяющее ограниченное логическое программирование высшего порядка ).

В Открытый исходный код Реализация XSB включает интерфейс к Язык программирования Java.

История

XSB был первоначально разработан в Университете Стоуни-Брук Дэвидом С. Уорреном, Терренсом Свифтом и Костисом Сагонасом. Он был основан на языке SB-Prolog, который также был разработан в Университете Стоуни Брук в 1986 году.[1][2] Это язык логического программирования.

Синтаксис

XSB поддерживает несколько стандартных язык программирования типы данных Такие как Целые числа, Плавающая точка числа и Атомы.

Целые числа в XSB можно интерпретировать на нескольких основаниях. По умолчанию целые числа интерпретируются в база 10 но может интерпретироваться в диапазоне базы из 2 к 36.[3]

Атомы похожи на Струны. Они представляют собой последовательность символов.

внешняя ссылка

Рекомендации

  1. Т. Свифт и Д.С. Уоррен (2011), XSB: расширение возможностей пролога с помощью табуляции. Теория и практика логического программирования (TPLP), Cambridge University Press, 2011.
  2. К. Сагонас, Т. Свифт и Д.С. Уоррен (1994), XSB как эффективный дедуктивный ядро ​​СУБД. Труды Международной конференции ACM SIGMOD по управлению данными, 1994.
  3. Т. Свифт и Д.С. Уоррен (1995), Абстрактная машина для разрешения SLG: определенные программы. Труды симпозиума по логическому программированию, 1995.