Emacs Lisp

The Mercury Project The Mercury Project- Logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detecti… Escher Escher- Declarative, general-purpose language, merges best features of functional and logic languages. Has types and modules, higher-order and meta-programming facilities, declara… HAL HAL- Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers. ALF ALF- Foundation: Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. A ful… RELFUN RELFUN- Relational-Functional Language: logic-programming language with call-by-value (eager) expressions of non-deterministic, non-ground functions; clauses are Hornish, succeedi… LPG LPG- Generic functional logic language: functions defined by conditional rewrite rules, predicates defined by Horn clauses whose bodies may contain equations, disequations, or cla… Functional Logic Programming Functional Logic Programming- Michael Hanus's pages on amalgamating functional and logic programming. Curry Curry- Multiparadigm declarative programming language seamlessly merges functional, logic, and concurrent programming paradigms; covers the most important operational principles i…