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]

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

Посилання

[ред. | ред. код]
  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 [Архівовано 9 травня 2013 у Wayback Machine.]. 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 [Архівовано 14 травня 2013 у Wayback Machine.]. Proceedings of the Symposium on Logic Programming, 1995.

Примітки

[ред. | ред. код]
  1. Архівована копія (PDF). Архів оригіналу (PDF) за 5 жовтня 2011. Процитовано 21 березня 2016.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)
  2. Архівована копія. Архів оригіналу за 3 березня 2016. Процитовано 21 березня 2016.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)
  3. Архівована копія. Архів оригіналу за 3 жовтня 2013. Процитовано 21 березня 2016.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)