algebraic logic functional language{=ALF}