My light weight Clojure wrapper for the PowerLoom knowledge representation and reasoning system
A ZIP file with everything you need to try it is on my open source web page.
PowerLoom has been in development for many years and is available in Common Lisp, C++, and Java editions. I wrapped the Java edition for this project.
This is just a first cut at a wrapper because assertions and queries must be encoded as strings.