यह CTL-RP नाम का लिनक्स ऐप है जिसकी नवीनतम रिलीज़ को ctlrp21_sourceforge.zip के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।
ऑनवर्क्स के साथ सीटीएल-आरपी नाम के इस ऐप को ऑनलाइन डाउनलोड करें और चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
सीटीएल-आरपी
Ad
वर्णन
सीटीएल-आरपी का मतलब कंप्यूटेशन ट्री लॉजिक रेजोल्यूशन प्रोवर है। कंप्यूटेशन ट्री लॉजिक (सीटीएल) एक ब्रांचिंग-टाइम टेम्पोरल लॉजिक है। सीटीएल-आरपी सीटीएल के लिए एक रिज़ॉल्यूशन आधारित प्रमेय कहावत है, जो अनुमान के लिए एक मुख्य इंजन के रूप में प्रथम-क्रम प्रमेय कहावत, एसपीएएसएस का उपयोग करता है।
कृपया अधिक विवरण के लिए निम्नलिखित लिंक देखें।
http://cueb.science/web/software/ (यदि आप चीन के अंदर हैं।)
http://ctlrp.sourceforge.net (यदि आप चीन के अंदर नहीं हैं।)
दर्शक
विज्ञान/अनुसंधान
यूजर इंटरफेस
कमांड लाइन
प्रोग्रामिंग भाषा
C
कैटिगरीज
यह एक एप्लिकेशन है जिसे https://sourceforge.net/projects/ctlrp/ से भी प्राप्त किया जा सकता है। हमारे निःशुल्क ऑपरेटिव सिस्टमों में से एक से सबसे आसान तरीके से ऑनलाइन चलाने के लिए इसे ऑनवर्क्स में होस्ट किया गया है।
