X-Prolog

X-Prolog ही एक हलकी प्रोलॉग प्रणाली आहे ज्याचा उद्देश Android वर Prolog मध्ये प्रोग्रामिंग सुलभ करण्यासाठी आहे. अॅप प्रोलॉग प्रोग्राम्स मजकूर दृश्यात, वेब दृश्यात किंवा क्लायंट अॅपसाठी बंधनकारक सेवा म्हणून चालवते. https://github.com/xprolog/sample-client येथे नमुना क्लायंट उपलब्ध आहे.

लक्षात ठेवा की Google Play Android 11 किंवा त्यापुढील आवृत्ती लक्ष्यित करणार्‍या अॅप्समध्ये सर्व-फाइल-अॅक्सेस परवानगीचा वापर प्रतिबंधित करते. सर्व-फाइल-प्रवेश परवानगीसह X-Prolog स्थापित करण्यासाठी, https://github.com/xprolog/xp/releases पहा.

साधन मिळाले?

प्रकल्प संपादित करण्यासाठी आणि तयार करण्यासाठी अॅप वापरकर्ता-परिभाषित साधनांवर अवलंबून आहे. साधने Prolog मध्ये लिहिलेली आहेत आणि विकसक पर्याय असलेल्या डिव्हाइसेसवर दृश्यमान आहेत. अॅप आणि टूल्स ट्रान्सफर व्हेरिएबल्स आणि फॉरमॅटेड आउटपुटद्वारे डेटाची देवाणघेवाण करतात. या रिलीझमध्‍ये अ‍ॅपचे टूलिंग वैशिष्‍ट्य दाखविण्‍याच्‍या उद्देशाने क्षुल्लक साधनांचा समावेश आहे.

अॅप एक्सटेन्शन पॉइंट्स परिभाषित करते ज्यावर ट्रान्सफर व्हेरिएबल्स उपलब्ध आहेत (टूल्समध्ये) आणि फॉरमॅट केलेले आउटपुट (टूल्समधून) ओळखले जाते. संदर्भ संज्ञा निर्दिष्ट करून एक किंवा अधिक विस्तार बिंदूंमध्ये योगदान देण्यासाठी साधन कॉन्फिगर केले जाऊ शकते.

संदर्भ शब्द हा

संदर्भ(नाव, फाइल प्रकार, प्राधान्य)

फॉर्मचा वाचन-टर्म आहे, जेथे

नाव

हे विस्तार बिंदूचे नाव आहे,

फाइल प्रकार

> स्वीकार्य फाइल प्रकारांची सूची आहे आणि

प्राधान्य

हा शून्यापेक्षा कमी नसलेला पूर्णांक आहे, ज्याचा अर्थ विस्तार बिंदूवर अवलंबून बदलतो.

हे प्रकाशन तीन विस्तार बिंदू परिभाषित करते:

बिल्ड, एडिट

आणि

समेट करा

, जे टूल्सला अनुक्रमे, प्रकल्प तयार करणे, स्त्रोत फाइल्स संपादित करणे आणि स्त्रोत मॉडेल्समध्ये सामंजस्य करण्यास अनुमती देतात.

प्रकल्प तयार करण्यासाठी, प्रकल्पाच्या शीर्ष निर्देशिकेत फाइल उघडा आणि

बिल्ड

वर क्लिक करा. स्थानिक फाइल सिस्टमवर रन करण्यायोग्य ऑब्जेक्ट फाइलमध्ये प्रोजेक्ट एक्सपोर्ट करण्यासाठी,

Export

वर क्लिक करा. ऑब्जेक्ट फाइल रन करण्यासाठी,

चालवा

वर क्लिक करा.

फाईल तयार करणारी एक किंवा अधिक साधने अस्तित्वात असल्यास, शक्यतो दुसर्‍या स्त्रोत फाइलमध्ये रूपांतरित करणारी फाईल स्त्रोत-फाइल मानली जाते. या रिलीझमध्ये एकल बिल्ड टूल,

कंपाइल

समाविष्ट आहे, जे प्रोलॉग सोर्स फाइल (.pl) चे द्रुत-लोड फाइल (.ql) मध्ये भाषांतर करते.

ज्ञात समस्यांमध्ये तपासणी, तार्किक अद्यतन दृश्य, गुणविशेष व्हेरिएबल्स यांचा समावेश होतो.