An expert system shell and backward chaining rule interpreter for the Macintosh.
ftp://ics.uci.edu/pub/machine-learning-programs/KR-FOCL-ES.cpt.hqx.
E-mail: <pazzani@ics.uci.edu>.