Technology moves fast! ⚡ Don't get left behind.🚶 Subscribe to our mailing list to keep up with latest and greatest in open source projects! 🏆


Subscribe to our mailing list

core.unify

Unification library

Subscribe to updates I use core.unify


Statistics on core.unify

Number of watchers on Github 93
Number of open issues 1
Main language Clojure
Open pull requests 0+
Closed pull requests 0+
Last commit over 1 year ago
Repo Created almost 9 years ago
Repo Last Updated over 1 year ago
Size 108 KB
Organization / Authorclojure
Contributors3
Page Updated
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

Subscribe to our mailing list

Evaluating core.unify for your project? Score Explanation
Commits Score (?)
Issues & PR Score (?)

clojure.core.unify

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.

more information

Differences from core.logic

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.

Releases and Dependency Information

Latest stable release: 0.5.7

Leiningen dependency information:

[org.clojure/core.unify "0.5.7"]

Maven dependency information:

<dependency>
  <groupId>org.clojure</groupId>
  <artifactId>core.unify</artifactId>
  <version>0.5.7</version>
</dependency>

Example Usage

    (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 clojure.core.unify namespace.

Developer Information

Change Log

  • Release 0.5.7 on 2016.07.25
    • Fixed macro that produced invalid fn names
  • Release 0.5.6 on 2013.03.07
    • Removed nil bindings
  • Release 0.5.5 on 2013.01.25
    • Exposed lvar? function
    • Added extract-lvars function
    • Exposed flatten-bindings function
  • Release 0.5.4 on 2013.01.24
    • Added 3-arg version of unify and unify- allowing an additional environment map.
  • Release 0.5.3 on 2012.05.25
    • Added variable? function
    • Unification of seqs of differing lengths fails (as expected)
  • Release 0.5.2 on 2012.01.08
    • Removed reflection warnings
  • Release 0.5.1 on 2011.10.11
    • Rolled in basis of Unifycle

Copyright and License

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.

core.unify list of languages used
Other projects in Clojure