एक स्वचालित प्रमेय कहावत - एक प्रोग्रामिंग भाषा, एक प्रथम-क्रम तर्क में एक एक्स्टेंसिबल सिद्धांत और एक यांत्रिक प्रमेय कहावत से मिलकर सॉफ्टवेयर प्रणाली। ACL2 की इनपुट भाषा और कार्यान्वयन कॉमन लिस्प पर बनाया गया है।

के बारे में अधिक acl2...

तो मैं अभी भी एसीएल 2 और लिस्प के लिए अपेक्षाकृत नया हूं, मुझे लिस्प में ऐसा करने का कोई तरीका नहीं पता है। मैं अपनी टिप्पणी प्राप्त करने के बारे में कैसे जा सकता हूं? (विपक्ष ए ...) मैं इटरेटर सोचता रहता हूं, लेकिन मुझे बताया गया है कि एसीएल 2 केवल रिकर्सन का उपयोग करता है (defun keep-at-most-n-bi....
18 अक्टूबर 2018, 19:59
मैं ACL2 के लिए बहुत नया हूं इसलिए मैं समझता हूं कि आप में से कुछ को यह महसूस हो सकता है कि यह इतना सरल उपाय है कि आप मदद के लिए मेरे आउटरीच पर भड़क जाएंगे। मैं यह पता लगाने की कोशिश कर रहा हूं कि मेरे कोड को एनएच पारस्परिक वर्ग में कैसे जोड़ा जाए (आईई अगर एन = 4 तो मैं 1/1 + 1/4 + 1/9 + 1/16 की तल....
22 सितंबर 2018, 01:10