A system with template answer set programs

Abstract

Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly introduce new predefined constructs or to deal with compound data structures and module. We show here an implementation on top of the DLV system of DLP language, which features increased declarativity, code readability, compactness and reusability.