exercise1.5.txt

(define (p) (p))

(define (test x y)
    (if (= x 0)
        0
        y))

(test 0 (p))

If the interpreter uses applicative order evaluation it will get into an infinite loop expanding (p).  If it uses normal order it will it the if statement confirm that x equals 0 and return 0.