Disjunctive Logic Programming is nowadays a mature formalism which has been successfully applied to a variety of practical problems, such as information integration, knowledge representation, planning, diagnosis, optimization and configuration. Although current DLP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like the capability of quickly introducing new predefined constructs or of dealing with modules. Indeed, in spite of the fact that a wide literature about modular logic programming is known, code reusability has never been considered as a critical point in Disjunctive Logic Programming. In this work we extend Disjunctive Logic Programming, under stable model semantics, with the notion of "template" predicates. A template predicate may be instantiated to an ordinary predicate by means of template atoms, thus allowing to define reusable modules, to define new constructs and aggregates without any syntactic limitation.
Template Programs for Disjunctive Logic Programming: An Operational Semantics / CALIMERI F; IANNI G. - In: AI COMMUNICATIONS. - ISSN 0921-7126. - 19:3(2006), pp. 193-206.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
|Titolo:||Template Programs for Disjunctive Logic Programming: An Operational Semantics|
|Data di pubblicazione:||2006|
|Citazione:||Template Programs for Disjunctive Logic Programming: An Operational Semantics / CALIMERI F; IANNI G. - In: AI COMMUNICATIONS. - ISSN 0921-7126. - 19:3(2006), pp. 193-206.|
|Appare nelle tipologie:||1.1 Articolo in rivista|