(ALF) A language by Rudolf Opalla ORmatik.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. . ["The Implementation of the Functional-Logic Language ALF", M. Hanus and A. Schwab]. (1992-10-08)