Common Lisp Reasoner 3.6
The Common Lisp Reasoner is an extension to CLOS (Common Lisp Object System) which adds a flexible rule language suitable for various reasoning tasks for AI-related applications (for scheduling, planning and diagnosis). Its rule language supports non-directional constraints and unidirectional rules. CLR also includes ATMS (the Assumption-based Truth-Maintenance System). It supports XML and RDF/XML, OWL.