एक्सएसबी

XSB

Paradigm	Logic Programming
द्वारा डिज़ाइन किया गया	David S. Warren, Terrance Swift, Kostis Sagonas
Developer	XSB Research Group
Stable release	5.0 / 12 May 2022 (2022-05-12)
ओएस	Cross-platform
फ़ाइल नाम एक्सटेंशनएस	.P
वेबसाइट	http://xsb.sourceforge.net/
Influenced by
Prolog, PSB-Prolog, SB-Prolog

एक्सएसबी प्रोलॉग जावा (प्रोग्रामिंग भाषा) की एक बोली का नाम है और इसका कार्यान्वयन स्टोनी ब्रुक विश्वविद्यालय में ल्यूवेन के कैथोलिक विश्वविद्यालय, लिस्बन के नए विश्वविद्यालय, उप्साला विश्वविद्यालय और सॉफ्टवेयर कंपनी एक्सएसबी, Inc के सहयोग से विकसित हुआ है।

एक्सएसबी ने प्रोलॉग को टेबल्ड रेजोल्यूशन और हाईलॉग (सीमित उच्च-क्रम तर्क प्रोग्रामिंग की स्वीकृति देने वाले प्रोलॉग का एक मानक विस्तार) के साथ विस्तारित किया है।

खुला स्त्रोत एक्सएसबी कार्यान्वयन में जावा प्रोग्रामिंग भाषा के लिए एक इंटरफ़ेस सम्मिलित है।

इतिहास

एक्सएसबी मूल रूप से डेविड एस वॉरेन, टेरेंस स्विफ्ट और कोस्टिस सगोनस द्वारा स्टोनी ब्रुक विश्वविद्यालय में विकसित किया गया था। यह एसबी-प्रोलॉग भाषा पर आधारित था जिसे 1986 में स्टोनी ब्रूक विश्वविद्यालय में भी विकसित किया गया था। यह एक तर्क प्रोग्रामिंग भाषा है।

विश्लेषण

एक्सएसबी कई मानक प्रोग्रामिंग भाषा डेटा प्रकारों जैसे कि पूर्णांक, फ़्लोटिंग पॉइंट संख्या और परमाणु का समर्थन करता है।

एक्सएसबी में पूर्णांकों की कई आधारों में व्याख्या की जा सकती है। डिफ़ॉल्ट रूप से पूर्णांकों की व्याख्या आधार 10 में की जाती है, लेकिन 2 से 36 तक के आधारों की श्रेणी में व्याख्या की जा सकती है।

परमाणु स्ट्रिंग (कंप्यूटर विज्ञान) के समान हैं। वे वर्णों का एक क्रम हैं।

बाहरी संबंध

• एक्सएसबी
• एक्सएसबी तकनीकी सारांश
• टेबल्ड प्रोलॉग में प्रोग्रामिंग: स्टोनी ब्रुक विश्वविद्यालय के डेविड एस वॉरेन द्वारा एक्सएसबी प्रोग्रामिंग के बारे में एक पुस्तक का प्रारूप
• टेरेंस स्विफ्ट, डेविड एस वॉरेन और अन्य द्वारा एक्सएसबी सिस्टम प्रोग्रामर मैनुअल
• स्टोनी ब्रुक प्रोलॉग पर जानकारी

संदर्भ

1. T. Swift and D.S. Warren (2011), एक्सएसबी: 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), एक्सएसबी 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.