Unification library
Clojure HTML
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
.gitignore
README.md
epl-v10.html
pom.xml

README.md

clojure.core.unify - A Clojure Unification Library

(more information)

Example

(unifier '((?a * ?x ** 2) + (?b * ?x) + ?c) 
         '(?z + (4 * 5) + 3))

;=> ((?a * 5 ** 2) + (4 * 5) + 3)

TODO

  • Tabling (in progress -- buggy)
  • Examples (algebra+)
  • Examples (destructuring)

References