Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

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

XSB

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

XSB це діалект мови програмування Prolog та його реалізація, розроблена в у співробітництві з Katholieke Universiteit Leuven, , та розробником програмного забезпечення XSB, Inc.

XSB
ПарадигмаЛогічне програмування
ТворціДевід С. Воррен, Терренс Свіфт, Костіс Сагонас
РозробникXSB Research Group
Останній релізXSB Version 3.6 / 2015
Під впливом відProlog, ,
Операційна системаБагатоплатформність
Звичайні розширення файлів.P
Вебсайтxsb.sourceforge.net

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 [ 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.{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()
  2. . Архів оригіналу за 3 березня 2016. Процитовано 21 березня 2016.{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()
  3. . Архів оригіналу за 3 жовтня 2013. Процитовано 21 березня 2016.{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()


image Це незавершена стаття про мови програмування.
Ви можете проєкту, виправивши або дописавши її.

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

Cya stattya ye sirim perekladom z anglijskoyi movi Mozhlivo vona stvorena za dopomogoyu mashinnogo perekladu abo perekladachem yakij nedostatno volodiye oboma movami Bud laska dopomozhit polipshiti pereklad cherven 2017 XSB ce dialekt movi programuvannya Prolog ta jogo realizaciya rozroblena v u spivrobitnictvi z Katholieke Universiteit Leuven ta rozrobnikom programnogo zabezpechennya XSB Inc XSBParadigmaLogichne programuvannyaTvorciDevid S Vorren Terrens Svift Kostis SagonasRozrobnikXSB Research GroupOstannij relizXSB Version 3 6 2015Pid vplivom vidProlog Operacijna sistemaBagatoplatformnistZvichajni rozshirennya fajliv PVebsajtxsb sourceforge net XSB rozshiryuye predstavlennya rezolyucij Prolog ta HiLog standart rozshirennya Prolog obmezhenih dozvoliv visoko vporyadkovanoyi movi programuvannya Realizaciya XSB z vidkritim sircevim kodom vklyuchaye dlya movi programuvannya Java IstoriyaXSB rozrobleno v Stony Brook University Devidom S Uorennom Terrensom Sviftom ta Kostisom Sagonasom Pobudovanij na osnovi movi programuvannya SB Prolog yaka v svoyu chergu bula takozh rozroblena v Stony Brook University v 1986 Ce mova logichnogo programuvannya SintaksisXSB pidtrimuye dekilka standartiv tipiv danih mov programuvannya dlya prikladu yak Cili chisla Dijsni chisla and Atomi Cili chisla v XSB mozhut interpretuvatis yak rizni bazi Za umovchannyam cili chisla interpretovani v bazi 10 ale mozhut interpretuvatis v mezhah vid 2 do 36 Atomi podibni do ryadkiv Voni ye poslidovnostyami simvoliv PosilannyaT 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 9 travnya 2013 u Wayback Machine 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 14 travnya 2013 u Wayback Machine Proceedings of the Symposium on Logic Programming 1995 Primitki PDF Arhiv originalu PDF za 5 zhovtnya 2011 Procitovano 21 bereznya 2016 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite web title Shablon Cite web cite web a Obslugovuvannya CS1 Storinki z tekstom archived copy yak znachennya parametru title posilannya Arhiv originalu za 3 bereznya 2016 Procitovano 21 bereznya 2016 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite web title Shablon Cite web cite web a Obslugovuvannya CS1 Storinki z tekstom archived copy yak znachennya parametru title posilannya Arhiv originalu za 3 zhovtnya 2013 Procitovano 21 bereznya 2016 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite web title Shablon Cite web cite web a Obslugovuvannya CS1 Storinki z tekstom archived copy yak znachennya parametru title posilannya Ce nezavershena stattya pro movi programuvannya Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi

Дата публікації:
Топ