The Functional Side of Logic Programming (1995)
| Venue: | In Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture (FPCA'95 |
| Citations: | 6 - 2 self |
BibTeX
@INPROCEEDINGS{Marchiori95thefunctional,
author = {Massimo Marchiori},
title = {The Functional Side of Logic Programming},
booktitle = {In Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture (FPCA'95},
year = {1995},
pages = {55--65},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming just functional programming in disguise? We develop a theory to formally express this correspondence, and exhibit a class that can by right be considered as the functional core of logic programming. Moreover, since the functional meaning of each program in this class is provided constructively, via a transformation from logic to functional programs, we show how the obtained theoretical results are useful also in the study of languages integration, termination issues, and practical implementations. 1 Introduction During the recent years, a huge amount of effort was devoted to integrating the two paradigms of functional programming and logic programming, and to develop languages combining them (see for instance [12]). However, much less attention was devoted to the basic problem of studying what are the intimat...
