(load "ghelper")
(load "rule-compiler")
(load "matcher")
(load "rule-simplifier")

;(define (rule-memoize x) x)   ;;; NB:  Scaffolding stub for prob 4.5

(load "rules")