Вікіпедія

XSB

Ця стаття є сирим перекладом з англійської мови. Можливо, вона створена за допомогою машинного перекладу або перекладачем, який недостатньо володіє обома мовами. Будь ласка, допоможіть поліпшити переклад. (червень 2017)

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]

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

Посилання ред.

  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 (посилання)


  Це незавершена стаття про мови програмування.
Ви можете допомогти проєкту, виправивши або дописавши її.
Отримано з https://uk.wikipedia.org/w/index.php?title=XSB&oldid=35769836