Porting Genifer LISP to Scala or Clojure, July 1st

Per YKY's instructions, I am getting ready to port Genifer's existing LISP code located at...

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:

1. unification algorithm
• this contains a "unify" written in Haskell:
  http://propella.blogspot.com/2009/04/prolog-in-haskell.html
2. best-first search
3. substitution management
4. optional: [ forward chaining ]
5. 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.