Computer Dictionary/Algebraic Logic Functional language

From En.18dao.net
Jump to: navigation, search

(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 [[Computer Dictionary/logic programming|logic programming]], and functions and equations for [[Computer Dictionary/functional programming|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].


Related Columns: ASCII, Dream Dictionary, Idiom Dictionary

Discussion about "Computer Dictionary/Algebraic Logic Functional language":

None Discussion Now.

Add Discussion