XSB
XSB це діалект мови програмування Prolog та його реалізація, розроблена в Stony Brook University у співробітництві з Katholieke Universiteit Leuven, New University of Lisbon, Uppsala University та розробником програмного забезпечення XSB, Inc.
| XSB | |
|---|---|
| Парадигма | Логічне програмування |
| Творці | Девід С. Воррен, Терренс Свіфт, Костіс Сагонас |
| Розробник | XSB Research Group |
| Останній реліз | XSB Version 3.6 / 22 Квітня 2015 |
| Під впливом від | Prolog, PSB-Prolog, SB-Prolog |
| Операційна система | Багатоплатформність |
| Звичайні розширення файлів |
.P |
| Вебсайт | xsb.sourceforge.net |
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. 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. Proceedings of the Symposium on Logic Programming, 1995.