ALE (A Logic Engine) - Evaluates statements and expressions