(define match-is (lambda (goal env) (let* ((var (car goal)) (value (car (cdr (cdr goal)))) (svalue (substitute-all value env))) (unify var (eval svalue) env))))