Not currently logged in. Login now.

Library

Name:core.unify
Category:Utility
Subcategory:Logic Programming
License:Eclipse Public License
Description:
core.unify is a Clojure contrib library providing the following features:

* Factory functions for constructing unification binding, subst, and unification functions, with or without occurs checking
* Packaged functions for unification binding, subst, and unification functions, with or without occurs checking, recognizing variables tagged as symbols prefixed with ? characters

core.unify is based on a library named Unifycle, found at http://github.com/fogus/unifycle that has been deprecated.
Maven Group and Artifact Id:[org.clojure/core.unify "version"]
Date Added:2012-01-10 23:07:56
Date Changed:2012-01-10 23:07:56