एक्सएसबी: 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
Line 28: Line 28:
}}
}}


XSB [[प्रोलॉग]] [[जावा (प्रोग्रामिंग भाषा)]] एक बोली का नाम है और इसका कार्यान्वयन [[स्टोनी ब्रुक विश्वविद्यालय]] में [[ल्यूवेन के कैथोलिक विश्वविद्यालय]], [[लिस्बन के नए विश्वविद्यालय]], [[उप्साला विश्वविद्यालय]] और [[सॉफ्टवेयर कंपनी]] XSB, Inc के सहयोग से विकसित हुआ है।
'''एक्सएसबी''' [[प्रोलॉग]] [[जावा (प्रोग्रामिंग भाषा)]] की एक बोली का नाम है और इसका कार्यान्वयन [[स्टोनी ब्रुक विश्वविद्यालय]] में [[ल्यूवेन के कैथोलिक विश्वविद्यालय]], [[लिस्बन के नए विश्वविद्यालय]], [[उप्साला विश्वविद्यालय]] और [[सॉफ्टवेयर कंपनी]] एक्सएसबी, 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> यह एक [[ तर्क प्रोग्रामिंग भाषा ]] है।
एक्सएसबी मूल रूप से डेविड एस वॉरेन, टेरेंस स्विफ्ट और कोस्टिस सगोनस द्वारा स्टोनी ब्रुक विश्वविद्यालय में विकसित किया गया था। यह एसबी-प्रोलॉग भाषा पर आधारित था जिसे 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 कई मानक प्रोग्रामिंग भाषा डेटा प्रकारों का समर्थन करता है जैसे कि पूर्णांक, [[तैरनेवाला स्थल]] नंबर और लिस्प (प्रोग्रामिंग भाषा)#परमाणु।
एक्सएसबी कई मानक प्रोग्रामिंग भाषा डेटा प्रकारों जैसे कि पूर्णांक, फ़्लोटिंग पॉइंट संख्या और परमाणु का समर्थन करता है।
 
एक्सएसबी में [[पूर्णांकों]] की कई आधारों में व्याख्या की जा सकती है। डिफ़ॉल्ट रूप से पूर्णांकों की व्याख्या आधार 10 में की जाती है, लेकिन 2 से 36 तक के आधारों की श्रेणी में व्याख्या की जा सकती है।<ref>{{cite web | url=http://www.cs.sunysb.edu/~sbprolog/manual1/node38.html | title=Integers }}</ref>


XSB में [[पूर्णांकों]] की कई आधारों में व्याख्या की जा सकती है। डिफ़ॉल्ट रूप से पूर्णांकों की [[दशमलव]] में व्याख्या की जाती है, लेकिन [[ बाइनरी संख्या ]] से लेकर सेनारी # बेस 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.


Revision as of 19:57, 18 May 2023

XSB
ParadigmLogic Programming
द्वारा डिज़ाइन किया गयाDavid S. Warren, Terrance Swift, Kostis Sagonas
DeveloperXSB Research Group
Stable release
5.0 / 12 May 2022; 2 years ago (2022-05-12)
ओएसCross-platform
फ़ाइल नाम एक्सटेंशनएस.P
वेबसाइटhttp://xsb.sourceforge.net/
Influenced by
Prolog, PSB-Prolog, SB-Prolog

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

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

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

इतिहास

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