एक्सएसबी

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

एक्सएसबी memoization संकल्प (तर्क)तर्क) और हाईलॉग (सीमित उच्च-क्रम तर्क प्रोग्रामिंग की अनुमति देने वाले प्रोलॉग का एक मानक विस्तार) के साथ प्रोलॉग का विस्तार करता है।

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

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

सिंटेक्स
XSB कई मानक प्रोग्रामिंग भाषा डेटा प्रकारों का समर्थन करता है जैसे कि पूर्णांक, तैरनेवाला स्थल नंबर और लिस्प (प्रोग्रामिंग भाषा)#परमाणु।

XSB में पूर्णांकों की कई आधारों में व्याख्या की जा सकती है। डिफ़ॉल्ट रूप से पूर्णांकों की दशमलव में व्याख्या की जाती है, लेकिन बाइनरी संख्या  से लेकर सेनारी # बेस 36 तक  सूत्र  की एक श्रेणी में सेनेरी संपीड़न के रूप में व्याख्या की जा सकती है। परमाणु स्ट्रिंग (कंप्यूटर विज्ञान) के समान हैं। वे वर्णों का एक क्रम हैं।

बाहरी संबंध

 * XSB
 * XSB technical summary
 * Programming in Tabled Prolog: draft of a book about XSB programming by David S. Warren of Stony Brook University
 * The XSB System Programmer's Manual by Terrance Swift, David S. Warren, and others
 * Information on Stony Brook Prolog

संदर्भ

 * 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. 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.