एक्सएसबी: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Infobox programming language | {{Infobox programming language | ||
| name = | | name = एक्सएसबी | ||
| logo = | | logo = | ||
| logo caption = | | logo caption = | ||
Line 6: | Line 6: | ||
| screenshot caption = | | screenshot caption = | ||
| file ext = .P | | file ext = .P | ||
| paradigm = [[ | | paradigm = [[तर्क प्रोग्रामिंग]] | ||
| scope = | | scope = | ||
| released = <!-- {{Start date|1993}} --> | | released = <!-- {{Start date|1993}} --> | ||
| designer = | | designer = डेविड एस वॉरेन, टेरेंस स्विफ्ट, कोस्टिस सगोनस | ||
| developer = | | developer = एक्सएसबी शोध समूह | ||
| latest release version = 5.0 | | latest release version = 5.0 | ||
| latest release date = {{start date and age|2022|05|12|df=yes}} | | latest release date = {{start date and age|2022|05|12|df=yes}} | ||
Line 18: | Line 18: | ||
| implementations = | | implementations = | ||
| dialects = | | dialects = | ||
| influenced by = [[ | | influenced by = [[प्रोलॉग]], [[पीएसबी-प्रोलॉग]], [[एसबी-प्रोलॉग]] | ||
| influenced = | | influenced = | ||
| programming language = | | programming language = | ||
| platform = | | platform = | ||
| operating system = [[ | | operating system = [[क्रॉस-प्लेटफॉर्म]] | ||
| license = | | license = | ||
| website = http://xsb.sourceforge.net/ | | website = http://xsb.sourceforge.net/ | ||
Line 28: | Line 28: | ||
}} | }} | ||
'''एक्सएसबी''' [[प्रोलॉग]] [[जावा (प्रोग्रामिंग भाषा)]] | '''एक्सएसबी''' [[प्रोलॉग]] [[जावा (प्रोग्रामिंग भाषा)|प्रोग्रामिंग भाषा]] एक कंप्यूटर प्रोग्रामिंग भाषा है इसका कार्यान्वयन [[स्टोनी ब्रुक विश्वविद्यालय]] में [[ल्यूवेन के कैथोलिक विश्वविद्यालय]], [[लिस्बन के नए विश्वविद्यालय|लिस्बन विश्वविद्यालय]], [[उप्साला विश्वविद्यालय]] और [[सॉफ्टवेयर कंपनी|सॉफ्टवेयर संस्था]] एक्सएसबी आईएनसी के सहयोग से विकसित हुई है। | ||
एक्सएसबी ने प्रोलॉग को | एक्सएसबी ने प्रोलॉग को तार्किक विश्लेषण, उच्च लॉग और [[उच्च-क्रम तर्क प्रोग्रामिंग|उच्च अनुक्रम तर्क प्रोग्रामिंग]] की स्वीकृति देने वाले प्रोलॉग के मानक विस्तार के साथ विस्तारित किया है। | ||
[[ खुला स्त्रोत | | [[ खुला स्त्रोत |मुक्त-स्रोत]] एक्सएसबी कार्यान्वयन में [[प्रोग्रामिंग भाषा|जावा प्रोग्रामिंग भाषा]] के लिए एक इंटरफ़ेस सम्मिलित है। | ||
== इतिहास == | == इतिहास == | ||
एक्सएसबी मूल रूप से डेविड एस वॉरेन, टेरेंस स्विफ्ट और कोस्टिस सगोनस द्वारा स्टोनी ब्रुक विश्वविद्यालय में विकसित किया गया था। यह एसबी-प्रोलॉग भाषा पर आधारित | एक्सएसबी को मूल रूप से [[David S. Warren|डेविड एस वॉरेन]], [[Terrance Swift|टेरेंस स्विफ्ट]] और कोस्टिस सगोनस द्वारा स्टोनी ब्रुक विश्वविद्यालय में विकसित किया गया था। यह एसबी-प्रोलॉग भाषा पर आधारित थी। जिसे 1986 में स्टोनी ब्रूक विश्वविद्यालय में भी विकसित किया गया था।<ref>http://www.cs.sunysb.edu/~sbprolog/manual/manual1.pdf {{Bare URL PDF|date=March 2022}}</ref><ref>{{cite web | url=https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/0.html | title=Package: Lang/Prolog/Impl/Prolog/Sbprolog/ }}</ref> यह एक [[ तर्क प्रोग्रामिंग भाषा |तर्क प्रोग्रामिंग भाषा]] है। | ||
== विश्लेषण == | == विश्लेषण == | ||
एक्सएसबी कई मानक प्रोग्रामिंग भाषा डेटा प्रकारों जैसे कि | एक्सएसबी कई मानक प्रोग्रामिंग भाषा के डेटा प्रकारों जैसे कि प्रोग्रामिंग संख्या, दशमलव संख्या और ऐटम डेटा प्रकार का समर्थन करती है। | ||
एक्सएसबी में [[पूर्णांकों]] की कई आधारों में व्याख्या की जा सकती है। | एक्सएसबी में [[पूर्णांकों|प्रोग्रामिंग संख्या]] की कई आधारों में व्याख्या की जा सकती है। सामान्य रूप से पूर्णांकों की व्याख्या आधार 10 में की जाती है, लेकिन 2 से 36 तक के आधारों की श्रेणी में यह व्याख्या की जा सकती है।<ref>{{cite web | url=http://www.cs.sunysb.edu/~sbprolog/manual1/node38.html | title=Integers }}</ref> ऐटम डेटा प्रकार [[स्ट्रिंग (कंप्यूटर विज्ञान)]] के समान होते हैं। वे वर्णों का एक अनुक्रम हैं। | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
* [http://xsb.sourceforge.net/ एक्सएसबी] | * [http://xsb.sourceforge.net/ एक्सएसबी] | ||
* [http://xsb.sourceforge.net/about.html एक्सएसबी तकनीकी | * [http://xsb.sourceforge.net/about.html एक्सएसबी तकनीकी विस्तार] | ||
* [http://www.cs.sunysb.edu/~warren/xsbbook/ | * [http://www.cs.sunysb.edu/~warren/xsbbook/ तार्किक प्रोलॉग में प्रोग्रामिंग]: स्टोनी ब्रुक विश्वविद्यालय के [[David S. Warren|डेविड एस वॉरेन]] द्वारा एक्सएसबी प्रोग्रामिंग के विषय में एक पुस्तक का प्रारूप। | ||
* [[Terrance Swift|टेरेंस स्विफ्ट]], [[David S. Warren|डेविड एस वॉरेन]] और अन्य द्वारा [http://xsb.sourceforge.net/downloads/manual1.pdf एक्सएसबी सिस्टम प्रोग्रामर मैनुअल] | * [[Terrance Swift|टेरेंस स्विफ्ट]], [[David S. Warren|डेविड एस वॉरेन]] और अन्य द्वारा [http://xsb.sourceforge.net/downloads/manual1.pdf एक्सएसबी सिस्टम प्रोग्रामर मैनुअल] | ||
* [https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/0.html स्टोनी ब्रुक प्रोलॉग पर जानकारी] | * [https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/0.html स्टोनी ब्रुक प्रोलॉग पर जानकारी] |
Revision as of 08:33, 19 May 2023
Paradigm | तर्क प्रोग्रामिंग |
---|---|
द्वारा डिज़ाइन किया गया | डेविड एस वॉरेन, टेरेंस स्विफ्ट, कोस्टिस सगोनस |
Developer | एक्सएसबी शोध समूह |
Stable release | 5.0
/ 12 May 2022 |
ओएस | क्रॉस-प्लेटफॉर्म |
फ़ाइल नाम एक्सटेंशनएस | .P |
वेबसाइट | http://xsb.sourceforge.net/ |
Influenced by | |
प्रोलॉग, पीएसबी-प्रोलॉग, एसबी-प्रोलॉग |
एक्सएसबी प्रोलॉग प्रोग्रामिंग भाषा एक कंप्यूटर प्रोग्रामिंग भाषा है इसका कार्यान्वयन स्टोनी ब्रुक विश्वविद्यालय में ल्यूवेन के कैथोलिक विश्वविद्यालय, लिस्बन विश्वविद्यालय, उप्साला विश्वविद्यालय और सॉफ्टवेयर संस्था एक्सएसबी आईएनसी के सहयोग से विकसित हुई है।
एक्सएसबी ने प्रोलॉग को तार्किक विश्लेषण, उच्च लॉग और उच्च अनुक्रम तर्क प्रोग्रामिंग की स्वीकृति देने वाले प्रोलॉग के मानक विस्तार के साथ विस्तारित किया है।
मुक्त-स्रोत एक्सएसबी कार्यान्वयन में जावा प्रोग्रामिंग भाषा के लिए एक इंटरफ़ेस सम्मिलित है।
इतिहास
एक्सएसबी को मूल रूप से डेविड एस वॉरेन, टेरेंस स्विफ्ट और कोस्टिस सगोनस द्वारा स्टोनी ब्रुक विश्वविद्यालय में विकसित किया गया था। यह एसबी-प्रोलॉग भाषा पर आधारित थी। जिसे 1986 में स्टोनी ब्रूक विश्वविद्यालय में भी विकसित किया गया था।[1][2] यह एक तर्क प्रोग्रामिंग भाषा है।
विश्लेषण
एक्सएसबी कई मानक प्रोग्रामिंग भाषा के डेटा प्रकारों जैसे कि प्रोग्रामिंग संख्या, दशमलव संख्या और ऐटम डेटा प्रकार का समर्थन करती है।
एक्सएसबी में प्रोग्रामिंग संख्या की कई आधारों में व्याख्या की जा सकती है। सामान्य रूप से पूर्णांकों की व्याख्या आधार 10 में की जाती है, लेकिन 2 से 36 तक के आधारों की श्रेणी में यह व्याख्या की जा सकती है।[3] ऐटम डेटा प्रकार स्ट्रिंग (कंप्यूटर विज्ञान) के समान होते हैं। वे वर्णों का एक अनुक्रम हैं।
बाहरी संबंध
- एक्सएसबी
- एक्सएसबी तकनीकी विस्तार
- तार्किक प्रोलॉग में प्रोग्रामिंग: स्टोनी ब्रुक विश्वविद्यालय के डेविड एस वॉरेन द्वारा एक्सएसबी प्रोग्रामिंग के विषय में एक पुस्तक का प्रारूप।
- टेरेंस स्विफ्ट, डेविड एस वॉरेन और अन्य द्वारा एक्सएसबी सिस्टम प्रोग्रामर मैनुअल
- स्टोनी ब्रुक प्रोलॉग पर जानकारी
संदर्भ
- 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.
- 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.
- T. Swift and D.S. Warren (1995), An abstract machine for SLG resolution: Definite programs. Proceedings of the Symposium on Logic Programming, 1995.