Algebraic Logic Functional language
<language>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 and rewriting. ALF includes a compiler to Warren Abstract Machine code and run-time support. ftp://ftp.germany.eu.net/pub/programming/languages/LogicFunctional. ["The Implementation of the Functional-Logic Language ALF", M. Hanus and A. Schwab].
Last updated: 1992-10-08