Redirecting to Algebraic Logic Functional programming language