A functional logic database library

Authors:
Sebastian Fischer
Affiliations:
Christian-Albrechts-University of Kiel, Kiel, Germany
Venue:
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Year:
2005

Citing 3
Cited 8

How to declare an imperative

ACM Computing Surveys (CSUR)
Domain specific embedded compilers

Proceedings of the 2nd conference on Domain-specific languages
A needed narrowing strategy

Journal of the ACM (JACM)

Type-oriented construction of web user interfaces

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Lazy Database Access with Persistent Predicates

Electronic Notes in Theoretical Computer Science (ENTCS)
Putting declarative programming into the web: translating curry to javascript

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Declarative Programming of User Interfaces

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Multi-paradigm declarative languages

ICLP'07 Proceedings of the 23rd international conference on Logic programming
High-level database programming in curry

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language

Journal of Visual Languages and Computing
KiCS2: a new compiler from Curry to Haskell

WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code to access files or relational databases. Functional logic programming provides a natural framework to transparent persistent storage through persistent predicates, i.e., predicates with externally stored facts.We describe a functional logic database library, based on persistent predicates, for Curry. Our library supports functional logic programming with databases in the background, i.e., the programmer can access a database without storage specific code employing functional logic programming techniques.