Functional Logic

ALF

informatik.uni-kiel.de

Foundation: Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. A full inte…

477 visits Dec 4, 2024 Details

BABEL

-i2.informatik.rwth-aachen.de

Operational semantics based on lazy narrowing; provides some higher-order features.

240 visits Feb 10, 2025 Details

Curry

informatik.uni-kiel.de

Multiparadigm declarative programming language seamlessly merges functional, logic, and concurrent programming paradigms; covers the most important operational principles in the ar…

315 visits Apr 23, 2025 Details

Escher

cs.bris.ac.uk

Declarative, general-purpose language, merges best features of functional and logic languages. Has types and modules, higher-order and meta-programming facilities, declarative inpu…

196 visits Apr 11, 2026 Details

Functional Logic Programming

informatik.uni-kiel.de

Michael Hanus's pages on amalgamating functional and logic programming.

45 visits Feb 11, 2024 Details

HAL

csse.monash.edu.au

Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.

58 visits May 28, 2025 Details

LPG

ftp.imag.fr

Generic functional logic language: functions defined by conditional rewrite rules, predicates defined by Horn clauses whose bodies may contain equations, disequations, or classical…

174 visits Mar 10, 2025 Details

RELFUN

dfki.uni-kl.de

Relational-Functional Language: logic-programming language with call-by-value (eager) expressions of non-deterministic, non-ground functions; clauses are Hornish, succeeding with t…

5 visits Jun 26, 2024 Details

SEL

ftp.cs.buffalo.edu

Subset-Equational Language: functional programming language based on equational and subset program clauses, with strict semantics, weak typing. Goal: declarative and efficient set …

32 visits Aug 12, 2024 Details

Category Info