The Common Lisp Reasoner adds general-purpose reasoning capabilities to the language, and now features an RDF/XML interface. http://sourceforge.net/news/?group_id=205361
To complement its existing knowledge representation, reasoning and search capabilities, composite objects and an XML interface have now been added.
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.
The Common Lisp Reasoner adds integrated knowledge representation, reasoning and search capabilities to Common Lisp.
Among other enhancements, it is now compatible with Embeddable Common Lisp (http://ecls.sourceforge.net/).
The Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a rule language and support a variety of practical AI-related search and reasoning tasks, including scheduling, planning, diagnosis and predictive reasoning.
The Common Lisp Reasoner adds integrated knowledge representation, reasoning and search capabilities to Common Lisp.
The latest release is a revision to ensure maximum portability across Common Lisp implementations, including for the first time, SBCL: http://sbcl.sourceforge.net/ .