Algebraic Logic Functional programming language

Paradigms	logic programming, functional programming
Type	multi-paradigm programming language, programming language
Website	informatik.uni-kiel.de