هذا هو الأمر gringo الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
gringo - جروندر لبرامج المنطق غير الأرضي
موجز
غرينغو [OPTION] ... [FILE] ...
الوصف
توثق صفحة الدليل هذه بإيجاز ملف غرينغو أمر.
غرينغو هو grounder لبرامج مجموعة الإجابات غير الأرضية. تعمل أدوات حل مجموعة الإجابات الحالية
على برامج خالية من المتغيرات. ومن ثم ، هناك حاجة إلى أداة تعريف إنجليزية غير معروفة ، مع الأخذ في الاعتبار برنامج الإدخال مع
متغيرات من الدرجة الأولى ، تحسب برنامج أرضي مكافئ (خالٍ من المتغيرات).
OPTIONS
تتبع هذه البرامج الصيغة المعتادة لسطر أوامر جنو ، مع بدء الخيارات الطويلة بـ
شرطان ("-"). يتم تضمين ملخص من الخيارات أدناه. للحصول على وصف كامل ،
انظر دليل البوتاسكو.
-ح ، --مساعدة
إظهار ملخص الخيارات.
-الخامس، --الإصدار
عرض نسخة البرنامج.
استخدم gringo عبر الإنترنت باستخدام خدمات onworks.net
