XSB
| XSB | |
|---|---|
| Парадигма | Логічне програмування |
| Творці | Девід С. Воррен, Терренс Свіфт, Костіс Сагонас |
| Розробник | XSB Research Group |
| Останній реліз | XSB Version 3.6 / 22 Квітня 2015 |
| Під впливом від | Prolog, PSB-Prolog, SB-Prolog |
| Операційна система | Багатоплатформність |
| Звичайні розширення файлів | .P  |
| Вебсайт | xsb.sourceforge.net |
XSB це діалект мови програмування Prolog та його реалізація, розроблена в Stony Brook University у співробітництві з Katholieke Universiteit Leuven, New University of Lisbon, Uppsala University та розробником програмного забезпечення XSB, Inc.
XSB розширює представлення резолюцій Prolog та HiLog (стандарт розширення Prolog обмежених дозволів високо-впорядкованої мови програмування).
Реалізація XSB з відкритим сирцевим кодом включає інтерфейс для мови програмування Java.
Історія
XSB розроблено в Stony Brook University Девідом С. Уоренном, Терренсом Свіфтом, та Костісом Сагонасом. Побудований на основі мови програмування SB-Prolog, яка в свою чергу була також розроблена в Stony Brook University в 1986.[1][2] Це мова логічного програмування.
Синтаксис
XSB підтримує декілька стандартів типів даних мов програмування для прикладу як Цілі числа, Дійсні числа, and Атоми.
Цілі числа в XSB можуть інтерпретуватись як різні бази. За умовчанням цілі числа інтерпретовані в базі 10, але можуть інтерпретуватись в межах від 2 до 36.[3]
Атоми подібні до рядків. Вони є послідовностями символів.
Посилання
- T. Swift and D.S. Warren (2011), XSB: Extending the Power of Prolog using Tabling. Theory and Practice of Logic Programming (TPLP), Cambridge University Press, 2011.
- K. Sagonas and T. Swift and D.S. Warren (1994), XSB as an Efficient Deductive Database Engine [Архівовано 9 травня 2013 у Wayback Machine.]. Proceedings of the ACM SIGMOD International Conference on the Management of Data, 1994.
- T. Swift and D.S. Warren (1995), An abstract machine for SLG resolution: Definite programs [Архівовано 14 травня 2013 у Wayback Machine.]. Proceedings of the Symposium on Logic Programming, 1995.
Примітки
- ↑ Архівована копія (PDF). Архів оригіналу (PDF) за 5 жовтня 2011. Процитовано 21 березня 2016.
{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання) - ↑ Архівована копія. Архів оригіналу за 3 березня 2016. Процитовано 21 березня 2016.
{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання) - ↑ Архівована копія. Архів оригіналу за 3 жовтня 2013. Процитовано 21 березня 2016.
{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)