e/Algebraic Logic Functional programming language

Information
has gloss	eng: Algebraic Logic Functional programming language also known as ALF is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming.
lexicalization	eng: Algebraic logic functional programming language
instance of	c/Free compilers and interpreters