1.5 Exercise 1.5

In an applicative-order interpreter, the example will never evaluate because the operand (p) cannot be evaluated. In a normal-order interpreter, (p) would not need to be evaluated until the alternate condition of the if condition is reached – and since it won’t be reached because the x argument is 0, the example will evaluate to 0.