coala.bin - מקוון בענן

תָכְנִית:

שֵׁם

coala.bin - מהדר רב-תכליתי משפות פעולה ועד תוכניות תשובות

תַקצִיר

coala.bin [אפשרויות]פילה

תיאור

דף מדריך זה מתעד בקצרה את coala.bin פקודה.

coala.bin הוא מהדר רב-תכליתי משפות פעולה ועד לתוכניות מוגדרות תשובות. זה
תומך בקידוד שונים, משתנים ושאילתות בסגנון LTL. זה מתרגם פעולה
שפה לתוך תוכנית לוגית תחת סמנטיקה של ערכת התשובה. לאחר שהוקמו על ידי
לנתח or גרינגו, ניתן לפתור את תוכנית ההיגיון על ידי פותר ערכת תשובות כגון סגר.
כרגע coala.bin מסוגל לתרגם את שפת הפעולה AL, B, C, תת-קבוצה של C+
ושפת הפעולה CTAID. ניתן לציין את סוג שפת הקלט באמצעות פקודה
אפשרות קו.

אפשרויות

תוכניות אלה עוקבות אחר תחביר שורת הפקודה הרגיל של GNU, עם אפשרויות ארוכות שמתחילות ב
שני מקפים (`-'). סיכום האפשרויות כלול להלן. לתיאור מלא,
עיין במדריך potassco.

-ח, - עזרה
הצג סיכום של אפשרויות.

השתמש ב-coala.bin באינטרנט באמצעות שירותי onworks.net