Functional Logic Programming

• Mercury@
• Oz-Mozart@

• Computers: Programming: Languages: Functional 
• Computers: Programming: Languages: Multiparadigm 

• ALF System  - Integrated functional and logic programming techniques with user manual and related publications.
• Curry  - Functional logic language provides tutorial, papers, implementation details, and example programs.
• Functional logic programming  - Provides abstract of the programming, languages, implementations, workshops, conferences, journals, and more.
• HAL  - Get introduction to the program, example, publications, status and related works.
• RELFUN  - Logic-programming language with call-by-value expressions of non-deterministic, non-ground functions. Presents documents, examples, systems and developers.