Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/clojure/core.unify

Unification library
https://github.com/clojure/core.unify

Last synced: about 20 hours ago
JSON representation

Unification library

Host: GitHub
URL: https://github.com/clojure/core.unify
Owner: clojure
License: epl-1.0
Created: 2010-10-12T13:30:16.000Z (about 14 years ago)
Default Branch: master
Last Pushed: 2024-11-06T18:08:02.000Z (2 months ago)
Last Synced: 2025-01-01T01:04:05.801Z (8 days ago)
Language: Clojure
Homepage:
Size: 147 KB
Stars: 145
Watchers: 34
Forks: 9
Open Issues: 1
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE

Awesome Lists containing this project

README

        clojure.core.unify

========================================

core.unify is a Clojure & ClojureScript 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 https://github.com/fogus/unifycle that has been deprecated.

*[more information](https://fogus.me/fun/unifycle)*

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.7.0

* [All Released Versions](https://search.maven.org/#search%7Cgav%7C1%7Cg%3A%22org.clojure%22%20AND%20a%3A%22core.unify%22)

* [Development Snapshot Versions](https://oss.sonatype.org/index.html#nexus-search;gav~org.clojure~core.unify~~~)

[CLI/`deps.edn`](https://clojure.org/reference/deps_and_cli) dependency information:

```clojure

org.clojure/core.unify {:mvn/version "0.7.0"}

```

[Leiningen](https://github.com/technomancy/leiningen) dependency information:

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

[Maven](https://maven.apache.org/) dependency information:

    

      org.clojure

      core.unify

      0.7.0

    

Example Usage

========================================

```clojure

    (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

========================================

* [GitHub project](https://github.com/clojure/core.unify)

* [Bug Tracker](https://clojure.atlassian.net/browse/UNIFY)

* [Continuous Integration](https://github.com/clojure/core.unify/actions/workflows/test.yml)

Change Log

====================

* Release 0.7.0 on 2024.11.06

  - Add ClojureScript support

  - Drop Clojure 1.6 and 1.7 support

* Release 0.6.0 on 2024.02.19

  - Update parent pom version

* 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. All rights reserved.  The use and distribution terms for this software are covered by the Eclipse Public License 1.0 (https://opensource.org/license/epl-1-0/) 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.