Tags: Programming Language.
ALF can also refer to ALF (theorem prover).Algebraic Logic Functional programming language also known as ALF is a programming language which combines functional and logic programming techniques.
Loading...
This page contains content from the copyrighted Wikipedia article "Algebraic Logic Functional programming language"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.