Debian logoDebian Screenshots >

coala

translates action languages into answer set programs