A functional logic database library

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. Categories and Subject Descriptors D.3.2 [Programming Languages]: Language Classifications—Multiparadigm Languages General Terms Languages Keywords Curry, persistent storage, dynamic predicates, database library

• Type: Conference
• Year: 2005
• Where: WCFLP
• Authors: Sebastian Fischer
• Keywords: Artificial Intelligence, Functional Logic, Functional Logic Programming, Persistent Predicates, WCFLP 2005