出典:Wikipedia
出典:『Wikipedia』 (2011/06/04 13:03 UTC 版)
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.