Functional programming
Algebraic Logic Functional programming language