関数型言語
Algebraic Logic Functional programming language