(ALF) A language by Rudolf Opalla which combineSfunctional 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 uSeSnarrowing 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)