Common Lisp Reasoner 1.2.1: Constraints

The Common Lisp Reasoner adds integrated knowledge representation, reasoning and search capabilities to Common Lisp.

It permits a wide variety of logical sentences, including but not limited to if-then rules, to be expressed and inferences to be drawn from them. Following a number of recent bug fixes, there has never been a better time to experience the full expressive power of its rule language.