Algebraic Logic Functional programming language

Algebraic Logic Functional (ALF) is a programming language that combines functional and logic programming. Its foundation is Horn clause logic with equality.