动如何影响系统的时变状态，并可用于。行动语言可归入两大类：和行动查询语言。前者的例子包括、 、行动语言A、语言B和语言C。还有行动查询语言P、Q和R。存在一些不同的算法来转换行动语言，特别是将行动语言C转换成回答集程序。因为现代回答集求解器利用了布尔SAT算法来快速的查明，这意味着行动语言也可以受用它。