Exercise 1.4
If b is greater than or equal to 0, add a to b; if b is less than 0, subtract it from a. The result is the sum of a and the absolute value of b.
Exercise 1.5
In an applicative-order interpreter, it will return the value 0 as the expression p will never have to be evaluated. In an interpreter using normal-order evaluation, it will loop infinitely.
Exercise 1.6
if must be a special form in order to defer evaluating the else clause until it is needed. Without it, the else clause is evaluated which will cause an infinite loop.