Prolog

Write a PROLOG program which evaluates Boolean expressions built up from variables and the constants TRUE and FALSE using the operators: not, and, nand , or, nor , if ,implies, and iff

Example:

?- evaluate (e).

e = false

where the expression e is: not TRUE or X implies Y nor Z, and the variables X,Y, and Z have the values FALSE, TRUE, and TRUE, respectively