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 T language, which features increased declarativity, code readability, compactness and reusability.

Authors

• Francesco Calimeri
• Giovambattista Ianni
• Giuseppe Ielpa
• Adriana Pietramala
• Maria Carmela Santoro

Keywords

No keywords are indexed for this paper.