این دستور coala است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
coala - یک کامپایلر همه کاره از زبان های اکشن برای پاسخ دادن به برنامه های مجموعه
خلاصه
کوالا [گزینه ها]پرونده[عدد]
شرح
این صفحه راهنما به اختصار مستندات کوالا فرمان
کوالا یک کامپایلر همه کاره از زبان های اکشن برای پاسخگویی به برنامه های مجموعه است. پشتیبانی می کند
رمزگذاری های مختلف، متغیرها و پرس و جوهای سبک LTL. این یک زبان عمل را ترجمه می کند
به یک برنامه منطقی تحت مجموعه معنایی پاسخ. پس از زمین گیر شدن توسط lparse or
بیگانه، برنامه منطقی را می توان با حلگر مجموعه پاسخ مانند حل کرد بستن. در
لحظه کوالا قادر به ترجمه زبان عمل AL، B، C، زیر مجموعه ای از C+ و
زبان عمل CTAID. نوع زبان ورودی را می توان با خط فرمان مشخص کرد
گزینه.
OPTIONS
این برنامه‌ها از نحو معمول خط فرمان گنو پیروی می‌کنند، با گزینه‌های طولانی که با آن شروع می‌شوند
دو خط تیره ('-'). خلاصه ای از گزینه ها در زیر گنجانده شده است. برای توضیح کامل،
راهنمای potassco را ببینید.
-h، --کمک
نمایش خلاصه گزینه ها
- نسخه
نمایش نسخه برنامه
با استفاده از خدمات onworks.net از coala آنلاین استفاده کنید
