(load "ghelper") (load "rule-compiler") (load "matcher") (load "rule-simplifier") (define (rule-memoize x) x) ;;; NB: Scaffolding stub for prob 4.5 (load "rules")