http://launchpad.net/genifer
...to either Scala or Clojure, JVM languages which can inter-operate with Java. In doing this I hope to provide a framework that will ultimately unify AI libraries like Genifer, dANN, Neuroph, and others.
_KY_: The porting is 3 steps:
- unification algorithm
- this contains a "unify" written in Haskell:
http://propella.blogspot.com/2009/04/prolog-in-haskell.html - best-first search
- substitution management
- optional: [ forward chaining ]
- optional: [ abduction ]
YKY recommends that I review:
- the target language
- the 2 chapters about logic and inference from "Artificial Intelligence: A Modern Approach"
- the Genifer slides on Deduction which explains YKY's LISP code in a very detailed way
Code will be commited to Genifer's Google Code repository.
