Smodels with CLP—A Treatment of Aggregates in ASP

In recent years we have witnessed a renovated interest towards the development of practical, effective, and efficient implementations of different flavors of logic programming. A significant deal of research has been invested in the development of systems that support logic programming under answer set semantics, favoring the creation of a novel programming paradigm, commonly referred to as Answer Set Programming (ASP) (e.g. [13])