Future Work
Look at constant sharing
investigate discharging hypotheticals
further investigate control structures
test on large rule bases
Previous slide
Back to first slide
View graphic version