Package: coala (1.0.1-5)

[ Source: coala  ]

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.

Tags: Role: Program

Other Packages Related to coala

• dep: libc6.1 (>= 2.2)

  knižnica Embedded GNU C - zdieľané knižnice
  also a virtual package provided by libc6.1-udeb

• dep: libgcc1 (>= 1:4.1.1)

  podporná knižnica GCC

• dep: libstdc++6 (>= 4.6)

  štandardná knižnica C++ GNU v3

• dep: libunwind7

  knižnica na určenie postupnosti volania programu - dynamická verzia

• dep: python

  interaktívny vysokoúrovňový objektovo orientovaný jazyk (štandardná verzia)

• rec: clasp

  conflict-driven nogood learning answer set solver

• rec: gringo

  grounding tools for (disjunctive) logic programs

Download coala

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ia64	352.4 kB	1,984.0 kB	[list of files]