एक्सएसबी: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Infobox programming language
{{Infobox programming language
| name = XSB
| name = एक्सएसबी
| logo =  
| logo =  
| logo caption =  
| logo caption =  
Line 6: Line 6:
| screenshot caption =  
| screenshot caption =  
| file ext = .P
| file ext = .P
| paradigm = [[Logic Programming]]
| paradigm = [[तर्क प्रोग्रामिंग]]
| scope =  
| scope =  
| released = <!-- {{Start date|1993}} -->
| released = <!-- {{Start date|1993}} -->
| designer = David S. Warren, Terrance Swift, Kostis Sagonas
| designer = डेविड एस वॉरेन, टेरेंस स्विफ्ट, कोस्टिस सगोनस
| developer = XSB Research Group
| 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 = [[Prolog]], [[PSB-Prolog]], [[SB-Prolog]]
| influenced by = [[प्रोलॉग]], [[पीएसबी-प्रोलॉग]], [[एसबी-प्रोलॉग]]
| influenced =  
| influenced =  
| programming language =  
| programming language =  
| platform =  
| platform =  
| operating system = [[Cross-platform]]
| operating system = [[क्रॉस-प्लेटफॉर्म]]
| license =  
| license =  
| website = http://xsb.sourceforge.net/
| website = http://xsb.sourceforge.net/
Line 28: Line 28:
}}
}}


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


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


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


== इतिहास ==
== इतिहास ==


एक्सएसबी मूल रूप से डेविड एस वॉरेन, टेरेंस स्विफ्ट और कोस्टिस सगोनस द्वारा स्टोनी ब्रुक विश्वविद्यालय में विकसित किया गया था। यह एसबी-प्रोलॉग भाषा पर आधारित था जिसे 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> यह एक [[ तर्क प्रोग्रामिंग भाषा |तर्क प्रोग्रामिंग भाषा]] है।
एक्सएसबी को मूल रूप से [[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>
एक्सएसबी में [[पूर्णांकों|प्रोग्रामिंग संख्या]] की कई आधारों में व्याख्या की जा सकती है। सामान्य रूप से पूर्णांकों की व्याख्या आधार 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/ टेबल्ड प्रोलॉग में प्रोग्रामिंग]: स्टोनी ब्रुक विश्वविद्यालय के [[David S. Warren|डेविड एस वॉरेन]] द्वारा एक्सएसबी प्रोग्रामिंग के बारे में एक पुस्तक का प्रारूप
* [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; 2 years ago (2022-05-12)
ओएसक्रॉस-प्लेटफॉर्म
फ़ाइल नाम एक्सटेंशनएस.P
वेबसाइटhttp://xsb.sourceforge.net/
Influenced by
प्रोलॉग, पीएसबी-प्रोलॉग, एसबी-प्रोलॉग

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

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

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

इतिहास

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

विश्लेषण

एक्सएसबी कई मानक प्रोग्रामिंग भाषा के डेटा प्रकारों जैसे कि प्रोग्रामिंग संख्या, दशमलव संख्या और ऐटम डेटा प्रकार का समर्थन करती है।

एक्सएसबी में प्रोग्रामिंग संख्या की कई आधारों में व्याख्या की जा सकती है। सामान्य रूप से पूर्णांकों की व्याख्या आधार 10 में की जाती है, लेकिन 2 से 36 तक के आधारों की श्रेणी में यह व्याख्या की जा सकती है।[3] ऐटम डेटा प्रकार स्ट्रिंग (कंप्यूटर विज्ञान) के समान होते हैं। वे वर्णों का एक अनुक्रम हैं।

बाहरी संबंध

संदर्भ

  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.
  1. http://www.cs.sunysb.edu/~sbprolog/manual/manual1.pdf[bare URL PDF]
  2. "Package: Lang/Prolog/Impl/Prolog/Sbprolog/".
  3. "Integers".