This is the command coala.bin that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
coala.bin - a versatile compiler from action languages to answer set programs
SYNOPSIS
coala.bin [options]file
DESCRIPTION
This manual page documents briefly the coala.bin command.
coala.bin is a versatile compiler from action languages to answer set programs. It
supports different encodings, variables and LTL style queries. It translates an action
language into a logic program under the answer set semantics. After being grounded by
lparse or gringo, the logic program can be solved by an answer set solver such as clasp.
At the moment coala.bin is able to translate the action language AL, B, C, a subset of C+
and the action language CTAID. The type of input language can be specified with a command
line option.
OPTIONS
These programs follow the usual GNU command line syntax, with long options starting with
two dashes (`-'). A summary of options is included below. For a complete description,
see the potassco-guide.
-h, --help
Show summary of options.
Use coala.bin online using onworks.net services