SODA

A Definitional approach to the combination of functional and relational programming

Aronsson, Martin (1991) A Definitional approach to the combination of functional and relational programming. [SICS Report]

[img]Postscript
34Kb
[img]
Preview
PDF
1456Kb

Abstract

We show how the programming language GCLA can be used to naturally express both relational and functional programs in an integrated framework. We give a short introduction to GCLA, and to the theory of partial inductive definitions on which GCLA is based. GCLA is best regarded as a logic programming language, but instead of saying that the query follows from the program in some a priori given logic, we say that the program defines the logic in which the query is proved. We then demonstrate how to implement both relational and functional programs as well as a combination of them in GCLA.

Item Type:SICS Report
ID Code:2099
Deposited By:Vicki Carleson
Deposited On:23 Oct 2009
Last Modified:18 Nov 2009 16:00

Repository Staff Only: item control page