RosettaCodeData/Task/Runtime-evaluation-In-an-environment/Scheme/runtime-evaluation-in-an-environment.scm

(define (eval-with-x prog a b)
  (let ((at-a (eval `(let ((x ',a)) ,prog)))
        (at-b (eval `(let ((x ',b)) ,prog))))
    (- at-b at-a)))