We consider a simple extension of logic programming where variables may range over goals and goals may be arguments of predicates. In this language we can write logic programs which use goals as data. We give practical evidence that, by exploiting this capability when transforming programs, we can improve program efficiency. We propose a set of program transformation rules which extend the familiar unfolding and folding rules and allow us to manipulate clauses with goals which occur as arguments of predicates. In order to prove the correctness of these transformation rules, we formally define the operational semantics of our extended logic programming language. This semantics is a simple variant of LD-resolution. When suitable conditions are satisfied this semantics agrees with LD-resolution and, thus, the programs written in our extended language can be run by ordinary Prolog systems. Our transformation rules are shown to preserve the operational semantics and termination.
Pettorossi, A., & Proietti, M. (2004). Transformations of logic programs with goals as arguments. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 4(4), 495-537.
Tipologia: | Articolo su rivista |
Citazione: | Pettorossi, A., & Proietti, M. (2004). Transformations of logic programs with goals as arguments. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 4(4), 495-537. |
Lingua: | English |
Settore Scientifico Disciplinare: | Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni |
Revisione (peer review): | Sì, ma tipo non specificato |
Tipo: | Articolo |
Rilevanza: | Rilevanza internazionale |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1017/S147106840400198X |
Stato di pubblicazione: | Pubblicato |
Data di pubblicazione: | 2004 |
Titolo: | Transformations of logic programs with goals as arguments |
Autori: | |
Autori: | Pettorossi, A; Proietti, M |
Appare nelle tipologie: | 01 - Articolo su rivista |