Introduction The Common Lisp Reasoner project aims to create a practical technology that exploits the synergy between its three major components to make AI-related applications, such as scheduling and diagnosis, easier to develop. These components are: A portable extension of the Common Lisp Object System (CLOS) The Assumption-Based Truth-Maintenance System (ATMS) of de Kleer A rule language compr
