Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

31 lines (22 sloc) 1.019 kB

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

Jump to Line
Something went wrong with that request. Please try again.