Bug#605881: ITP: coala -- translates action languages into answer set programs

[Thomas Krennwallner <tkren@kr.tuwien.ac.at>]

Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner <tkren@kr.tuwien.ac.at>


* Package name    : coala
  Version         : 1.0.1
  Upstream Author : Torsten Grote <Torsten.Grote@uni-potsdam.de>
* URL             : http://www.cs.uni-potsdam.de/~tgrote/coala/
* License         : GPL
  Programming Lang: C++
  Description     : translates action languages into answer set programs

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