Papers and Books on
Functional Logic Programming
This page is still under construction.
Two surveys on functional logic programming that contain a lot of references:
M. Hanus: The integration of functions into logic programming
, Journal of Logic Programming, 1994
M. Hanus: Multi-paradigm Declarative Languages
, International Conference on Logic Programming (ICLP 2007), 2007
A book on higher-order functional logic programming:
C. Prehofer: Solving Higher-Order Equations
, Birkhauser PTCS Series, 1997
Back to
Homepage of Functional Logic Programming
Michael Hanus