XSB - XSB
| Paradigma | Mantiqiy dasturlash |
|---|---|
| Loyihalashtirilgan | Devid S. Uorren, Terrance Svift, Kostis Sagonas |
| Tuzuvchi | XSB tadqiqot guruhi |
| Barqaror chiqish | 3.8 / 29 oktyabr 2017 yil |
| OS | O'zaro faoliyat platforma |
| Fayl nomi kengaytmalari | .P |
| Veb-sayt | http://xsb.sourceforge.net/ |
| Ta'sirlangan | |
| Prolog, PSB-Prolog, SB-Prolog | |
XSB lahjasi nomi Prolog dasturlash tili va uni amalga oshirish Stoni Bruk universiteti bilan hamkorlikda Katholieke Universiteit Leuven, Lissabonning yangi universiteti, Uppsala universiteti va dasturiy ta'minot sotuvchisi XSB, Inc.
XSB Prolog-ni kengaytiradi jadvalga kiritilgan qaror va Salom (Prolog ruxsatining standart kengaytmasi cheklangan yuqori darajadagi mantiqiy dasturlash ).
The ochiq manba XSB dasturini o'z ichiga oladi interfeys uchun Java dasturlash tili.
Tarix
XSB dastlab Stoni Bruk Universitetida Devid S. Uorren, Terrance Svift va Kostis Sagonas tomonidan ishlab chiqilgan. U 1986 yilda Stoni Bruk universitetida ishlab chiqilgan SB-Prolog tiliga asoslangan edi.[1][2] Bu mantiqiy dasturlash tili.
Sintaksis
XSB bir nechta standartlarni qo'llab-quvvatlaydi dasturlash tili ma'lumotlar turlari kabi Butun sonlar, Suzuvchi nuqta raqamlar va Atomlar.
Butun sonlar XSB-da bir nechta asoslarda talqin qilinishi mumkin. Odatiy bo'lib, butun sonlar talqin qilinadi 10-asos lekin oralig'ida talqin qilinishi mumkin asoslar dan 2 ga 36.[3]
Atomlar o'xshashdir Iplar. Ular belgilar ketma-ketligi.
Tashqi havolalar
- XSB
- XSB texnik xulosasi
- Tabled Prolog-da dasturlash: tomonidan XSB dasturlash to'g'risida kitobning loyihasi Devid S. Uorren Stoni Bruk universiteti
- XSB tizim dasturchisining qo'llanmasi tomonidan Terrance Svift, Devid S. Uorren va boshqalar
- Stony Brook Prolog haqida ma'lumot
Adabiyotlar
- T. Svift va D.S. Uorren (2011), XSB: Tabling yordamida Prolog quvvatini kengaytirish. Mantiqiy dasturlash nazariyasi va amaliyoti (TPLP), Kembrij universiteti matbuoti, 2011 y.
- K. Sagonas va T. Svift va D.S. Uorren (1994), XSB samarali deduktiv ma'lumotlar bazasi mexanizmi sifatida. Ma'lumotlarni boshqarish bo'yicha ACM SIGMOD xalqaro konferentsiyasi materiallari, 1994 y.
- T. Svift va D.S. Uorren (1995), SLG o'lchamlari uchun mavhum mashina: Belgilangan dasturlar. Mantiqiy dasturlash bo'yicha simpozium materiallari to'plami, 1995 y.
 | Bu dasturlash tili bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |