Common Lisp Reasoner ist eine Erweiterung von CLOS (Common Lisp Object System), die eine flexible Regelsprache hinzufügt, die für verschiedene logische Schlussfolgerungen verwendet werden kann. Sie enthält auch ATMS (Assumption-based Truth-Maintenance System).