Відкрити головне меню

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
ОС:Багатоплатформність
Сторінка інтернет: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]

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

ПосиланняРедагувати

  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.

ПриміткиРедагувати