זוהי הפקודה coala שניתן להריץ בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות החינמיות שלנו כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS.
תָכְנִית:
שֵׁם
קואלה - מהדר רב-תכליתי משפות פעולה ועד תוכניות תשובות
תַקצִיר
coala [אפשרויות]פילה[מספר]
תיאור
דף מדריך זה מתעד בקצרה את coala פקודה.
coala הוא מהדר רב-תכליתי, החל משפות פעולה ועד לתוכניות קבוצות תשובות. הוא תומך
קידודים, משתנים ושאילתות בסגנון LTL שונים. זה מתרגם שפת פעולה
לתוך תוכנית לוגיקה תחת סמנטיקה של קבוצת תשובות. לאחר שהוקמה על ידי ניתוח or
גרינגו, ניתן לפתור את תוכנית הלוגיקה על ידי פותר קבוצות תשובות כגון סגר. ב
רֶגַע coala מסוגל לתרגם את שפת הפעולה AL, B, C, תת-קבוצה של C+ ואת ה
שפת פעולה CTAID. ניתן לציין את סוג שפת הקלט באמצעות שורת פקודה
אוֹפְּצִיָה.
אפשרויות
תוכניות אלה עוקבות אחר תחביר שורת הפקודה הרגיל של GNU, עם אפשרויות ארוכות שמתחילות ב
שני מקפים (`-'). סיכום האפשרויות כלול להלן. לתיאור מלא,
עיין במדריך potassco.
-ח, - עזרה
הצג סיכום של אפשרויות.
--גִרְסָה
הצג את הגרסה של התוכנית.
השתמש ב-coala באינטרנט באמצעות שירותי onworks.net
