A New Perspective on Integrating Functional and Logic Languages (1992)
| Venue: | Languages, Proceedings of the 3rd International Conference on Fifth Generation Computer Systems |
| Citations: | 14 - 0 self |
BibTeX
@INPROCEEDINGS{Darlington92anew,
author = {John Darlington and Yi-ke Guo and Helen Pull},
title = {A New Perspective on Integrating Functional and Logic Languages},
booktitle = {Languages, Proceedings of the 3rd International Conference on Fifth Generation Computer Systems},
year = {1992},
pages = {682--693},
publisher = {IOS Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Traditionally the integration of functional and logic languages is performed by attempting to integrate their semantic logics in some way. Many languages have been developed by taking this approach, but none manages to exploit fully the programming features of both functional and logic languages and provide a smooth integration of the two paradigms. We propose that improved integrated systems can be constructed by taking a broader view of the underlying semantics of logic programming. A novel integrated language paradigm, Definitional Constraint Programming (DCP), is proposed. DCP generalises constraint logic programming by admitting user-defined functions via a purely functional subsystem and enhances it with the power to solve constraints over functional programs. This constraint approach to integration results in a homogeneous unified system in which functional and logic programming features are combined naturally. 1 Introduction During the past ten years the integration of funct...
