A functional logic database library

WCFLP'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming

Volumn , Issue , 2005, Pages 54-59

  Fischer, Sebastian ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Curry; Database library; Dynamic predicates; Persistent storage

Indexed keywords

CODES (SYMBOLS); DATA REDUCTION; DATA STORAGE EQUIPMENT; DATABASE SYSTEMS; DIGITAL LIBRARIES;

CURRY; DATABASE LIBRARY; DYNAMIC PREDICATES; PERSISTENT STORAGE;

LOGIC PROGRAMMING;

EID: 32044433510     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1085099.1085110     Document Type: Conference Paper

References (5)

1. S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. Journal of the ACM, 47(4):776-822, 2000.
2. J. Correas, J.M. Gómez, M. Carro, D. Cabeza, and M. Hermenegildo. A generic persistence model for (c)lp systems (and two useful implementations). In Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04), pages 104-119. Springer LNCS 3057, 2004.
3. M. Hanus. Dynamic predicates in functional logic programs. Journal of Functional and Logic Programming, 2004(5), 2004.
4. D. Leijen and E. Meijer. Domain specific embedded compilers. In Proceedings of the 2nd Conference on Domain-Specific Languages (DSL'99), pages 109-122. ACM SIGPLAN Notices 35(1), 1999.
5. P. Wadler. How to declare an imperative. ACM Computing Surveys, 29(3):240-263, 1997.