Questions Columns Rows
GitHub icon

Algebraic Logic Functional

Algebraic Logic Functional - Programming language

< >

Algebraic Logic Functional, aka Algebraic Logic Functional, is a programming language created in 1990.

#2223on PLDB 33Years Old

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

View source

- Build the next great programming language Search Add Language Features Creators Resources About Blog Acknowledgements Stats Sponsor Traffic Traffic Today Day 277 Logout