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