Change search
ReferencesLink to record
Permanent link

Direct link
A Definitional approach to the combination of functional and relational programming
Number of Authors: 1
1991 (English)Report (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1991, 1. , 14 p.
SICS Research Report, ISSN 0283-3638 ; R91:10
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14043OAI: diva2:1035326
Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(1456 kB)2 downloads
File information
File name FULLTEXT01.pdfFile size 1456 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 2 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 12 hits
ReferencesLink to record
Permanent link

Direct link