Michele Bugliesi, Evelina Lamma, Paola Mello

The research on modular logic programming has evolved along two diKerent directions during the past decade. Various papers have focused primarily on the problems of programming-in-the-large. They have proposed mod- ule systems equipped with compositional operators for building programs as combinations of separate and independent components. Other propos- als have instead concentrated on the problem of programming-in-the-small in an attempt to enrich logic programming with abstraction and scoping mechanisms available in other programming paradigms.

The issues that arisein the two approaches are substantially different. The compositional operators of the former allow one to structure programs without any need to extend the theory of Horn clauses. The scoping and abstraction mechanisms of the latter are modeled in terms of the logical connectives of extended logic languages.

ln this paper we provide a uniform reconstruction of the above approaches and we show, wherever this is possible, how the object-level logical connec- tives of the latter can be mapped onto the compositional operators of the former.

Journal of Logic Programming 19-20, pp. 443-502, 1994.
Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher (a cura di), Elsevier
Special Issue: Ten Years of Logic Programming
@article{bugliesi-jlp19,
Author = {Bugliesi, Michele and Lamma, Evelina and Mello, Paola},
        Doi = {10.1016/0743-1066(94)90032-9},
Editor = {Bruynooghe, Maurice and Debray, Saumya K. and Hermenegildo, Manuel V. and Maher, Michael J.},
Issn = {0743-1066},
Journal = {Journal of Logic Programming},
Note = {Special Issue: Ten Years of Logic Programming},
Pages = {443--502},
Publisher = {Elsevier},
Title = {Modularity in Logic Programming},
Volume = {19--20},
Year = 1994}

Tags:
    

Pubblicazione

— autori/autrici

Michele Bugliesi, Evelina Lamma, Paola Mello

— a cura di

Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher

— stato

pubblicato

— tipo

articolo su rivista

Sede di pubblicazione

— rivista

Journal of Logic Programming

— volume/numero

19-20

— data di pubblicazione

1994

— pagine

443-502

URL & ID

— DOI

10.1016/0743-1066(94)90032-9

— print ISSN

0743-1066

BibTeX

— BibTeX ID
bugliesi-jlp19
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY