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

From Vigyanwiki
(Created page with "{{Infobox programming language | name = XSB | logo = | logo caption = | screenshot = | screenshot caption = | file ext = .P | paradigm = Logic Programming | scope = |...")
 
No edit summary
 
(4 intermediate revisions by 3 users not shown)
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:
}}
}}


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


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


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


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


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


== सिंटेक्स ==
== विश्लेषण ==


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


XSB में [[पूर्णांकों]] की कई आधारों में व्याख्या की जा सकती है। डिफ़ॉल्ट रूप से पूर्णांकों की [[दशमलव]] में व्याख्या की जाती है, लेकिन [[ बाइनरी संख्या ]] से लेकर सेनारी # बेस 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/ XSB]
* [http://xsb.sourceforge.net/ एक्सएसबी]
* [http://xsb.sourceforge.net/about.html XSB technical summary]
* [http://xsb.sourceforge.net/about.html एक्सएसबी तकनीकी विस्तार]
* [http://www.cs.sunysb.edu/~warren/xsbbook/ Programming in Tabled Prolog]: draft of a book about XSB programming by [[David S. Warren]] of Stony Brook University
* [http://www.cs.sunysb.edu/~warren/xsbbook/ तार्किक प्रोलॉग में प्रोग्रामिंग]: स्टोनी ब्रुक विश्वविद्यालय के [[David S. Warren|डेविड एस वॉरेन]] द्वारा एक्सएसबी प्रोग्रामिंग के विषय में एक पुस्तक का प्रारूप।
* [http://xsb.sourceforge.net/downloads/manual1.pdf The XSB System Programmer's Manual] by [[Terrance Swift]], David S. Warren, and others
* [[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 Information on Stony Brook Prolog]
* [https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/0.html स्टोनी ब्रुक प्रोलॉग पर जानकारी]
 
 
==संदर्भ==
==संदर्भ==
# T. Swift and D.S. Warren (2011), [http://dl.acm.org/citation.cfm?id=2139880 ''XSB: Extending the Power of Prolog using Tabling'']. Theory and Practice of Logic Programming (TPLP), Cambridge University Press, 2011.
# T. Swift and D.S. Warren (2011), [http://dl.acm.org/citation.cfm?id=2139880 ''एक्सएसबी: 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), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.4048 ''XSB as an Efficient Deductive Database Engine'']. Proceedings of the ACM SIGMOD International Conference on the Management of Data, 1994.
# K. Sagonas and T. Swift and D.S. Warren (1994), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.4048 ''एक्सएसबी 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), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.4862 ''An abstract machine for SLG resolution: Definite programs'']. Proceedings of the Symposium on Logic Programming, 1995.
# T. Swift and D.S. Warren (1995), [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.4862 ''An abstract machine for SLG resolution: Definite programs'']. Proceedings of the Symposium on Logic Programming, 1995.


{{Reflist|3}}
{{Reflist|3}}
[[Category: तर्क प्रोग्रामिंग भाषाएँ]]




{{Compu-lang-stub}}
{{Compu-lang-stub}}


 
[[Category:All articles with bare URLs for citations]]
 
[[Category:All stub articles]]
[[Category: Machine Translated Page]]
[[Category:Articles with PDF format bare URLs for citations]]
[[Category:Articles with bare URLs for citations from March 2022]]
[[Category:Created On 15/05/2023]]
[[Category:Created On 15/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Programming language topic stubs]]
[[Category:Templates Vigyan Ready]]
[[Category:तर्क प्रोग्रामिंग भाषाएँ]]

Latest revision as of 09:07, 26 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".


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=एक्सएसबी&oldid=170131’