Це команда coala, яку можна запустити у безкоштовного хостинг-провайдера OnWorks за допомогою однієї з наших безкоштовних онлайн-робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS
ПРОГРАМА:
ІМ'Я
coala - універсальний компілятор від мов дій до набору програм
СИНТАКСИС
вугілля [параметри]файл[число]
ОПИС
На цій сторінці посібника коротко описано вугілля команда
вугілля — це універсальний компілятор від мов дій до програм із набором відповідей. Це підтримує
різні кодування, змінні та запити в стилі LTL. Він перекладає мову дії
у логічну програму за семантикою набору відповідей. Після заземлення lparse or
gringoлогічну програму можна розв’язати за допомогою розв’язувача набору відповідей, наприклад застібка. Біля
момент вугілля здатний перекладати мову дій AL, B, C, підмножину C+ і
мова дії CTAID. Тип мови введення можна вказати за допомогою командного рядка
варіант.
ВАРІАНТИ
Ці програми дотримуються звичайного синтаксису командного рядка GNU з довгими параметрами, які починаються з
два тире (`-'). Нижче наведено короткий опис варіантів. Для повного опису,
див. довідник potasco.
-h, --допомога
Показати підсумок варіантів.
-- версія
Показати версію програми.
Використовуйте coala онлайн за допомогою сервісів onworks.net
