प्रोलॉग संगतता परतें - उपलब्ध प्रोग्रामिंग लाइब्रेरी

Question

एक प्रोलॉग कार्यान्वयन में कुछ भविष्यवाणियों की कमी है, जो दूसरों में उपलब्ध हैं।

हम भविष्यवाणी की कमी को लागू कर सकते हैं, चलिए इसे "प्रोलॉग संगतता परत" कहते हैं।

क्या आप प्रोलॉग के लिए "प्रोलॉग संगतता परत" जानते हैं (विशेष रूप से जीएनयू-प्रोलॉग के लिए)?

निम्नलिखित तरीके से जवाब की संरचना करें: लिंक के साथ

• शीर्षक।
• "के लिए लागू किया" - prolog कार्यान्वयन आप उपयोग करना चाहते हो सकता है
• "के साथ संगतता" - prolog कार्यान्वयन जिसके लिए संगतता परत किया जाता है
• "कार्य" - अनुकूलता कार्यों की सूची (आप कर सकते हैं बोल्ड तुम्हारा पसंदीदा)
• "अतिरिक्त जानकारी" - टिप्पणी, आवश्यकताओं, सीमाओं आदि
• "लाइसेंस" - लाइसेंस जानकारी

पीएस प्रश्न दूसरे प्रश्न से प्रेरित: Prolog syntax problem।

Answer 1

YAP, SWI and GNU Prolog compatibility layer

• GNU Prolog compatibility layer
• SWI Prolog Compatibility layer
• YAP Prolog compatibility layer

के लिए Implementated: जीएनयू-Prolog, SWI Prolog, याप Prolog।

संगतता के साथ: SWI-Prolog और अन्य Prologs

विवरण: (। जीएनयू Compat) "को लागू करता है कई आवश्यक विधेय SWI Prolog और कई अन्य Prolog कार्यान्वयन में पाया गया कि जीएनयू में उपलब्ध नहीं हैं Prolog। "

कार्य: (। जीएनयू Compat) नहीं/1, is_list/1, succ/2, sformat/3, स्ट्रिंग/1, is_codes/1, arithmetic_function, eval_arith/2, downcase_atom/2, forall/2, ध्वज/3, /3 के बीच, gensym/2, समय/1, अगर/2, अगर/3, अगर/4

अतिरिक्त जानकारी: (। जीएनयू Compat) "साथ ही, आपको एसडीआई वितरण से list.pl शामिल करने की आवश्यकता है। "

लाइसेंस: जीएनयू सार्वजनिक लाइसेंस