A transition system for AC language algorithms

Recently a logic programming language AC was proposed by Mellarkod et al. (2008) to integrate answer set programming (ASP) and constraint logic programming. In a similar vein, Gebser et al. (2009) proposed a clingcon language integrating ASP and finite domain constraints. A distinguishing feature of these languages is their capacity to allow new efficient… CONTINUE READING