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.
Series
SICS Research Report, ISSN 0283-3638 ; R91:10
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21354OAI: oai:DiVA.org:ri-21354DiVA: diva2:1041390
Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

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

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 4 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: 8 hits
ReferencesLink to record
Permanent link

Direct link