(ALF) A language By Rudolf Opalla 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)