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.

Posted by William Hounslow 2010-03-18

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks