{"version":"1.0","type":"link","title":"Algebraic Logic Functional programming language - Newikis","description":"Algebraic Logic Functional (ALF) programming language 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.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}