Algebraic Logic Functional Language

**Prof. Dr. Sinsi** · 07-22-2012

* 1

&lt language&gt (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

07-22-2012	#1
Prof. Dr. Sinsi	Algebraic Logic Functional Language * 1&lt language&gt (ALF) A language by Rudolf Opalla opalla@julieninformatikuni-dortmundde 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://ftpgermanyeunet/pub/programming/languages/LogicFunctional