pazzani@ics.uci.edu (Michael Pazzani) (06/02/90)
Are there any expert system shells available for the MAC that have the following constraints: 1. backward chaining (or backward and foward) 2. certainty factors (prefered, but not necessary) 3. Runs in 4MB (sorry Gold Hill doesn't) 4. Some graphics. Displaying proof trees and/or rule relationships 5. Variables. Believe it or not, most that I've seen don't have variables in the prolog sense. Rather what the call variables are attributes. So you can't do things like If (and (parent ?x ?z) (parent ?y ?z)) Then (sibling ?x ?y) 6. Reasonable priced. I need 30 copies for an undergraduate course.