A expression tree has one of the following forms with corresponding values:
1. number(N) where N is a number, with value N.
2. var(V) where V is a Prolog atom. Its value given a list Env of bindings is Z iff binding(V, Z) is a member of Env.
3. binop(Op, Exp1, Exp2) where Op is one...