Functional Logic Programming

o  Implementations
o  Curry
o  Mailing list
o  Conferences
o  Papers
o  Researchers
o  Related subjects

Functional logic programming aims to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming. In comparison with pure functional languages, functional logic languages have more expressive power due to the availability of features like function inversion, partial data structures, existential variables, and non-deterministic search. In comparison with pure logic languages, functional logic languages have a more efficient operational behavior since functions provide for more efficient evaluation strategies (lazy evaluation, deterministic reductions) than predicates. Early research in this area has been concentrated on the definition and improvement of appropriate execution principles for functional logic languages. In recent years efficient implementations of these execution principles have been developed. You can look into an older survey and a newer survey of this area.

Further resources

Implementations Languages, Implementations
Curry Curry: a proposal for a standard in functional logic programming
Mailing list Mailing list
Conferences Workshops, Conferences, Journals
Papers Papers and Books
Researchers Some researchers interested in functional logic programming
Related Related subjects


Please mail to Michael Hanus if you know relevant information not included here.

Michael Hanus
Last modified: Mon Feb 9 10:04:38 CET 2009

Valid XHTML 1.0 Transitional