Algebraic Logic Functional programming language
 
x
OK