Algebraic Logic Functional language
<language> (ALF) A language by Rudolf Opalla <firstname.lastname@example.org> which combines functional programming
and logic programming
ALF is based on Horn clause
logic with equality which consists of predicates and Horn clauses for logic programming
, and functions and equations for functional programming
Any functional expression can be used in a goal
literal and arbitrary predicates can occur in conditions of equations.
ALF uses narrowing
ALF includes a compiler to Warren Abstract Machine code and run-time support
["The Implementation of the Functional-Logic Language ALF", M. Hanus and A. Schwab].