함수형 프로그래밍
Algebraic Logic Functional programming language