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...
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.