यह कमांड acl2 है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
acl2 - एक कम्प्यूटेशनल तर्क
SYNOPSIS
अकल २
वर्णन
यह मैनुअल पेज संक्षेप में दस्तावेज करता है अकल २ आदेश। यह मैनुअल पेज के लिए लिखा गया था
डेबियन जीएनयू/लिनक्स वितरण क्योंकि मूल कार्यक्रम में मैनुअल पेज नहीं है।
इसके बजाय, इसमें जीएनयू इन्फो प्रारूप के साथ-साथ एचटीएमएल प्रारूप में दस्तावेज़ीकरण है। ये
Acl2-doc पैकेज में शामिल है। दस्तावेज़ीकरण प्रोजेक्ट पर भी पाया जा सकता है
वेबसाइट, http://www.cs.utexas.edu/users/moore/acl2, HTML फॉर्म और पोस्टस्क्रिप्ट दोनों में।
onworks.net सेवाओं का उपयोग करके ACL2 का ऑनलाइन उपयोग करें