मौड - क्लाउड में ऑनलाइन

कार्यक्रम:

नाम

मौड - एक उच्च-प्रदर्शन तार्किक ढांचा

SYNOPSIS

मौड [विकल्पों] [फ़ाइलों]

वर्णन

यह मैनुअल पेज संक्षेप में दस्तावेज करता है मौड दुभाषिया। यह मैनुअल पेज लिखा गया था
डेबियन वितरण के लिए क्योंकि मूल कार्यक्रम में एक मैनुअल पेज नहीं है।

मौड एक उच्च-प्रदर्शन परावर्तक भाषा और प्रणाली है जो समीकरण और दोनों का समर्थन करती है
अनुप्रयोगों की एक विस्तृत श्रृंखला के लिए तर्क विनिर्देश और प्रोग्रामिंग को फिर से लिखना। मौड है
OBJ3 भाषा द्वारा महत्वपूर्ण तरीकों से प्रभावित किया गया है, जिसे एक के रूप में माना जा सकता है
समीकरण तर्क उपभाषा। समीकरण विनिर्देश और प्रोग्रामिंग का समर्थन करने के अलावा,
मौड तर्क गणना को फिर से लिखने का भी समर्थन करता है।

पुनर्लेखन तर्क समवर्ती परिवर्तन का एक तर्क है जो स्वाभाविक रूप से राज्य से निपट सकता है और
समवर्ती गणना के साथ। इसमें सामान्य अर्थ ढांचे के रूप में अच्छे गुण हैं
भाषाओं की एक विस्तृत श्रृंखला और संगामिति के मॉडल के लिए निष्पादन योग्य शब्दार्थ देना। में
विशेष रूप से, यह बहुत अच्छी तरह से समवर्ती वस्तु-उन्मुख गणना का समर्थन करता है। वही कारण
पुनर्लेखन तर्क को एक अच्छा शब्दार्थ ढांचा बनाना इसे एक अच्छा तार्किक ढांचा भी बनाता है,
वह है, एक धातुविज्ञान जिसमें कई अन्य तर्कों को स्वाभाविक रूप से दर्शाया और निष्पादित किया जा सकता है।

मौड एक व्यवस्थित और कुशल तरीके से तार्किक प्रतिबिंब का समर्थन करता है। यह बनाता है मौड
उल्लेखनीय रूप से एक्स्टेंसिबल और शक्तिशाली, मॉड्यूल संरचना के एक एक्स्टेंसिबल बीजगणित का समर्थन करता है
संचालन, और कई उन्नत मेटाप्रोग्रामिंग और धातुभाषा अनुप्रयोगों की अनुमति देता है।
वास्तव में, के कुछ सबसे दिलचस्प अनुप्रयोग मौड धातुभाषा अनुप्रयोग हैं,
जिसमें मौड विभिन्न तर्कों के लिए निष्पादन योग्य वातावरण बनाने के लिए प्रयोग किया जाता है, प्रमेय
नीतिवचन, भाषाएं और गणना के मॉडल।

--मदद सहायता जानकारी प्रदर्शित करें

--संस्करण
संस्करण संख्या प्रदर्शित करें

-नहीं-प्रस्तावना
मानक प्रस्तावना में न पढ़ें

-नो-बैनर
स्टार्टअप पर बैनर आउटपुट न करें

-नो-सलाह
स्टार्टअप पर कोई सलाह नहीं

-नो-मिक्सफिक्स
आउटपुट के लिए मिक्सफिक्स नोटेशन का प्रयोग न करें

-नो-रैप
आउटपुट के लिए स्वचालित लाइन रैपिंग न करें

-अनसी-रंग
एएनएसआई नियंत्रण अनुक्रमों का प्रयोग करें

-नहीं-अनसी-रंग
एएनएसआई नियंत्रण अनुक्रमों का प्रयोग न करें

-टेकला टेकला कमांड लाइन संपादन का प्रयोग करें

-नो-टेकला
टेकला कमांड लाइन संपादन का प्रयोग न करें

-बैच बैच मोड में चलाएँ

-इंटरैक्टिव
इंटरैक्टिव मोड में चलाएं

-यादृच्छिक बीज=
यादृच्छिक संख्या जनरेटर के लिए बीज सेट करें

-एक्सएमएल-लॉग=
फ़ाइल सेट करें जिसमें एक xml लॉग उत्पन्न करना है

कॉपीराइट

कॉपीराइट (सी) 1997-2011 एसआरआई इंटरनेशनल, मेनलो पार्क, सीए 94025, यूएसए।

कॉपीराइट (सी) 1997 - 2002, माकोटो मात्सुमोतो और ताकुजी निशिमुरा,

कॉपीराइट (सी) 2000 - 2003, रिचर्ड जे। वैगनर

रिपोर्टिंग बग

बग रिपोर्ट यहां भेजें: [ईमेल संरक्षित]

onworks.net सेवाओं का उपयोग करके मौड ऑनलाइन का उपयोग करें