The Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a rule language and support a variety of practical AI-related search and reasoning tasks, including scheduling, planning, diagnosis and predictive reasoning.
More...