XSB - XSB
Парадигма | Логическое программирование |
---|---|
Разработано | Дэвид С. Уоррен, Терренс Свифт, Костис Сагонас |
Разработчик | XSB Research Group |
Стабильный выпуск | 3.8 / 29 октября 2017 |
Операционные системы | Кроссплатформенность |
Расширения имени файла | .П |
Интернет сайт | 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]
Атомы похожи на Струны. Они представляют собой последовательность символов.
внешняя ссылка
- XSB
- Техническое резюме XSB
- Программирование на табличном прологе: черновик книги о программировании XSB от Дэвид С. Уоррен Университета Стоуни Брук
- Руководство системного программиста XSB к Терренс Свифт, Дэвид С. Уоррен и другие
- Информация о Stony Brook Prolog
Рекомендации
- Т. Свифт и Д.С. Уоррен (2011), XSB: расширение возможностей пролога с помощью табуляции. Теория и практика логического программирования (TPLP), Cambridge University Press, 2011.
- К. Сагонас, Т. Свифт и Д.С. Уоррен (1994), XSB как эффективный дедуктивный ядро СУБД. Труды Международной конференции ACM SIGMOD по управлению данными, 1994.
- Т. Свифт и Д.С. Уоррен (1995), Абстрактная машина для разрешения SLG: определенные программы. Труды симпозиума по логическому программированию, 1995.
Этот язык программирования -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |