Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Unification library

Fetching latest commit…

Cannot retrieve the latest commit at this time

README.md

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

Releases and Dependency Information

Latest stable release: 0.5.3

Leiningen dependency information:

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

Maven dependency information:

<dependency>
  <groupId>org.clojure</groupId>
  <artifactId>core.unify</artifactId>
  <version>0.5.3</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.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.

Something went wrong with that request. Please try again.