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]
XSB поддерживает типы данных Пролога , утвержденные ISO, такие как целые числа , числа с плавающей запятой и атомы . Целые числа в XSB можно интерпретировать в нескольких системах счисления. По умолчанию целые числа интерпретируются по основанию 10, но их можно интерпретировать в диапазоне оснований от 2 до 36 . [4]