< language > (ALF) A language by Rudolf Opalla opalla@julien.informatik.uni-dortmund.de which combines functional programming and logic programming techniques.
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 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].
(1992-10-08)