Coala:从动作语言到ASP的编译器。动作语言允许紧凑地描述动态域。它们通常通过编译来实现,例如回答集合编程。为此,我们开发了一个叫做Coala的工具,为几种动作语言提供多种编译技术。我们概述了煤的显著和独特特征,并对它们进行了实验比较。