- 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.
|