Widening the Representation Bottleneck: A Functional Implementation of Relational Programming (1993)
| Venue: | In Proc. Func. Prog |
| Citations: | 2 - 0 self |
BibTeX
@INPROCEEDINGS{Cattrall93wideningthe,
author = {Dave Cattrall and Colin Runciman},
title = {Widening the Representation Bottleneck: A Functional Implementation of Relational Programming},
booktitle = {In Proc. Func. Prog},
year = {1993},
pages = {191--200},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Relational programming is a generalisation of functional programming that includes aspects of logic programming. We describe a relational language, Drusilla, that retains the lazy, polymorphic and higher-order aspects of functional languages and the flexible handling of non-determinism and search based computation of logic languages. As a result it offers certain economy of expression not found in functional or logic programming. However a complex implementation, using a combination of polymorphic type inference and automatic program transformation to select appropriate representations, is needed to support this language. 1 Introduction At FPCA 1981 [14] and in subsequent papers, [15, 16, 17], MacLennan introduced relational programming --- a programming paradigm with a number of novel features: ffl entire relations are manipulated as data; ffl program definitions are represented as relations; ffl a set of relational operators (themselves relations), are available for manipulating...
