# Algebraic Logic Functional language

## Algebraic Logic Functional language

(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.

["The Implementation of the Functional-Logic Language ALF", M. Hanus and A. Schwab].

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].

This article is provided by FOLDOC - Free Online Dictionary of Computing (

**foldoc.org**)Want to thank TFD for its existence? Tell a friend about us, add a link to this page, or visit the webmaster's page for free fun content.

Link to this page: