---
name: "coala"
section: "1"
platform: "linux"
package: "coala"
version: "1.0.1-5"
release: "Debian 8 (Jessie)"
platforms: ["linux"]
url: "https://new.carta.tech/coala"
---

# coala(1)

a versatile compiler from action languages to answer set programs

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

## SEE ALSO

[**clasp**(1)](/clasp/1.md), [**gringo**(1)](/gringo/1.md).\

## AUTHOR

coala was written by Torsten Grote \<Torsten.Grote@uni-potsdam.de\>

This manual page was written by Thomas Krennwallner \<tkren@kr.tuwien.ac.at\>, for the Debian project (and may be used by others).