यह Linux में ऑनलाइन चलने के लिए CTL-RP नामक Linux ऐप है जिसकी नवीनतम रिलीज़ को 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/ से भी प्राप्त किया जा सकता है। हमारे निःशुल्क ऑपरेटिव सिस्टमों में से एक से सबसे आसान तरीके से ऑनलाइन चलाने के लिए इसे ऑनवर्क्स में होस्ट किया गया है।