|Number of watchers on Github||93|
|Number of open issues||1|
|Open pull requests||0+|
|Closed pull requests||0+|
|Last commit||almost 2 years ago|
|Repo Created||about 9 years ago|
|Repo Last Updated||over 1 year ago|
|Organization / Author||clojure|
|Do you use core.unify? Leave a review!|
|View core.unify activity|
|View on github|
|Fresh, new opensource launches 🚀🚀🚀|
Trendy new open source projects in your inbox! View examples
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
core.unify is based on a library named Unifycle, found at http://github.com/fogus/unifycle that has been deprecated.
core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine. While core.logic does provide a similar simple unifier interface with support for specifying fine-grained constraints, if you have no need for a logic programming system, core.unify may be a better fit.
Latest stable release: 0.5.7
Leiningen dependency information:
Maven dependency information:
<dependency> <groupId>org.clojure</groupId> <artifactId>core.unify</artifactId> <version>0.5.7</version> </dependency>
(use 'clojure.core.unify) (unifier '((?a * ?x ** 2) + (?b * ?x) + ?c) '(?z + (4 * 5) + 3)) ;=> ((?a * 5 ** 2) + (4 * 5) + 3)
Refer to docstrings in the
unify-allowing an additional environment map.
Copyright (c) Rich Hickey and Michael Fogus, 2012. All rights reserved. The use and distribution terms for this software are covered by the Eclipse Public License 1.0 (http://opensource.org/licenses/eclipse-1.0.php) which can be found in the file epl-v10.html at the root of this distribution. By using this software in any fashion, you are agreeing to be bound bythe terms of this license. You must not remove this notice, or any other, from this software.