هذا هو الأمر الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
مود - إطار منطقي عالي الأداء
موجز
مود [الخيارات] [ملفات]
الوصف
توثق صفحة الدليل هذه بإيجاز ملف مود مترجم. تمت كتابة صفحة الدليل هذه
لتوزيع دبيان لأن البرنامج الأصلي لا يحتوي على صفحة دليل.
مود هي لغة ونظام عاكس عالي الأداء يدعم كلا من المعادلة و
إعادة كتابة المواصفات المنطقية والبرمجة لمجموعة واسعة من التطبيقات. مود لديها
قد تأثرت بلغة OBJ3 بطرق مهمة ، والتي يمكن اعتبارها
لغة فرعية لمنطق المعادلة. إلى جانب دعم المواصفات المعادلة والبرمجة ،
مود كما يدعم إعادة كتابة الحساب المنطقي.
إعادة كتابة المنطق هو منطق التغيير المتزامن الذي يمكن أن يتعامل بشكل طبيعي مع الحالة و
مع الحسابات المتزامنة. لها خصائص جيدة كإطار دلالي عام لـ
إعطاء دلالات قابلة للتنفيذ لمجموعة واسعة من اللغات ونماذج التزامن. في
على وجه الخصوص ، فهو يدعم بشكل جيد للغاية حساب وجوه المنحى المتزامن. نفس الأسباب
جعل إعادة كتابة المنطق إطارًا دلاليًا جيدًا يجعله أيضًا إطارًا منطقيًا جيدًا ،
أي ، ميتالوجيك يمكن من خلاله تمثيل العديد من المنطق الأخرى وتنفيذها بشكل طبيعي.
مود يدعم بطريقة منهجية وفعالة التفكير المنطقي. هذا يجعل مود
قابل للتوسعة وقوي بشكل ملحوظ ، ويدعم الجبر القابل للتوسيع لتكوين الوحدة
العمليات ، ويسمح بالعديد من تطبيقات البرمجة اللغوية المتقدمة واللغة المعدنية.
في الواقع ، بعض التطبيقات الأكثر إثارة للاهتمام من مود هي تطبيقات لغة المعادن ،
التي مود يستخدم لإنشاء بيئات قابلة للتنفيذ لمنطق مختلف ، نظرية
المحترفين واللغات ونماذج الحساب.
--مساعدة عرض معلومات المساعدة
--الإصدار
عرض رقم الإصدار
-لا مقدمة
لا تقرأ في المقدمة القياسية
-لا- لافتة
لا تخرج لافتة عند بدء التشغيل
-لا نصيحة
لا تحذيرات عند بدء التشغيل
-لا-mixfix
لا تستخدم تدوين mixfix للإخراج
-لا التفاف
لا تقم بلف الخط التلقائي للإخراج
-انسى اللون
استخدم تسلسلات التحكم ANSI
-لا-أنسي-لون
لا تستخدم تسلسلات التحكم ANSI
-تكلا استخدم تحرير سطر أوامر tecla
-لا-تكلا
لا تستخدم تحرير سطر أوامر tecla
-حزمة تشغيل في وضع الدُفعات
-تفاعلية
تشغيل في الوضع التفاعلي
-بذرة عشوائية =
تعيين البذور لمولد رقم عشوائي
-xml-log =
تعيين الملف الذي يتم فيه إنتاج سجل xml
حقوق الطبع والنشر
حقوق النشر (c) 1997-2011 SRI International، Menlo Park، CA 94025، USA.
حقوق النشر (c) 1997 - 2002 ، Makoto Matsumoto و Takuji Nishimura ،
حقوق النشر (c) 2000 - 2003، Richard J. Wagner
التبليغ بق
إرسال تقارير الأخطاء إلى: [البريد الإلكتروني محمي]
استخدم maude عبر الإنترنت باستخدام خدمات onworks.net
