एक्सएसबी

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

एक्सएसबी ने प्रोलॉग को तार्किक विश्लेषण, उच्च लॉग और उच्च अनुक्रम तर्क प्रोग्रामिंग की स्वीकृति देने वाले प्रोलॉग के मानक विस्तार के साथ विस्तारित किया है।

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

इतिहास
एक्सएसबी को मूल रूप से डेविड एस वॉरेन, टेरेंस स्विफ्ट और कोस्टिस सगोनस द्वारा स्टोनी ब्रुक विश्वविद्यालय में विकसित किया गया था। यह एसबी-प्रोलॉग भाषा पर आधारित थी। जिसे 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.