EnglishFrenchSpanish

OnWorks favicon

coala - Online in the Cloud

Run coala in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command coala 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 - a versatile compiler from action languages to answer set programs

SYNOPSIS


coala [options]file[number]

DESCRIPTION


This manual page documents briefly the coala command.

coala 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 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.

--version
Show version of program.

Use coala online using onworks.net services


Ad


Ad