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. Це мова логічного програмування.

Синтаксис

XSB підтримує декілька стандартів типів даних мов програмування для прикладу як Цілі числа, Дійсні числа, and Атоми.

Цілі числа в XSB можуть інтерпретуватись як різні бази. За умовчанням цілі числа інтерпретовані в базі 10, але можуть інтерпретуватись в межах від 2 до 36.

Атоми подібні до рядків. Вони є послідовностями символів.

Посилання

1. 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.
2. 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.
3. T. Swift and D.S. Warren (1995), An abstract machine for SLG resolution: Definite programs. Proceedings of the Symposium on Logic Programming, 1995.