Algebraic Logic Functional, aka Algebraic Logic Functional, is a historical programming language created in 1990. Algebraic Logic Functional programming language, also known as ALF, is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. ALF was designed to be genuine integration of both programming paradigms, and thus any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. Read more on Wikipedia...
- Algebraic Logic Functional ranks in the top 50% of languages
- the Algebraic Logic Functional wikipedia page
- Algebraic Logic Functional first appeared in 1990
- See also: c, unix
- I have 45 facts about Algebraic Logic Functional. what would you like to know? email me and let me know how I can help.
Last updated October 20th, 2019