این دستور gringo است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
gringo - زمینی برای برنامه های منطقی غیر زمینی
خلاصه
بیگانه [گزینه]... [فایل] ...
شرح
این صفحه راهنما به اختصار مستندات بیگانه فرمان
بیگانه زمینه ای برای برنامه های مجموعه پاسخ غیر زمینی است. حل کننده های مجموعه پاسخ فعلی کار می کنند
در برنامه های بدون متغیر از این رو، با توجه به یک برنامه ورودی، به زمینی نیاز است
متغیرهای مرتبه اول، یک برنامه زمینی معادل (بدون متغیر) را محاسبه می کند.
OPTIONS
این برنامهها از نحو معمول خط فرمان گنو پیروی میکنند، با گزینههای طولانی که با آن شروع میشوند
دو خط تیره ('-'). خلاصه ای از گزینه ها در زیر گنجانده شده است. برای توضیح کامل،
راهنمای potassco را ببینید.
-h، --کمک
نمایش خلاصه گزینه ها
-v، - نسخه
نمایش نسخه برنامه
با استفاده از خدمات onworks.net از gringo آنلاین استفاده کنید