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