Это команда coala.bin, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
coala.bin - универсальный компилятор из языков действий для ответа на установленные программы
СИНТАКСИС
уголь.бин [опции]файл
ОПИСАНИЕ
Эта страница руководства кратко документирует уголь.бин команда.
уголь.бин - это универсальный компилятор языков действий для программ набора ответов. Это
поддерживает различные кодировки, переменные и запросы в стиле LTL. Он переводит действие
в логическую программу в соответствии с семантикой набора ответов. После того, как был заземлен
lparse or гринго, логическая программа может быть решена с помощью решателя набора ответов, такого как застежка.
В данный момент уголь.бин умеет переводить язык действий AL, B, C, подмножество C +
и CTAID языка действий. Тип языка ввода можно указать с помощью команды
вариант линии.
ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ
Эти программы следуют обычному синтаксису командной строки GNU с длинными параметрами, начинающимися с
два тире (`- '). Сводка опций приведена ниже. Для полного описания,
см. руководство по potassco.
-час, --Помогите
Показать сводку опций.
Используйте coala.bin онлайн с помощью сервисов onworks.net
