Fetching contributors…
Cannot retrieve contributors at this time
78 lines (59 sloc) 1.55 KB

From 0.7.0 to 0.7.1


Fix pattern matching so unification works on maps and sets

From 0.6.9 to 0.7.0


  • Fix project layout so core.logic can work in both Clojure and ClojureScript applications
  • fixed LConsSeq -pr-seq implementation

From 0.6.8 to 0.6.9


  • Initial support for ClojureScriopt

From 0.6.7 to 0.6.8


  • Allow retraction of facts


  • LOGIC-32: fix unification with sets
  • LOGIC-29: fix defrel bug where we were not checking recursively for logic vars
  • LOGIC-24: fix regression, simple expression allowed in pattern matching again

From 0.6.6 to 0.6.7


  • repair logic variable introduction in pattern matching macros

From 0.6.5 to 0.6.6


  • metadata support for defne and friends
  • remove unqualified symbols from defrel and defrel support macros
  • default conde style now wraps conde clauses in vectors
  • no need to use ?foo in patterns to declare logic variables
  • two new non-relational helpers: pred, is


  • fix broken all macro
  • can now define facts on relations from other namespaces
  • fix lingering reference to old namespace in all macro
  • removed some redundant unification cases
  • improved docstrings, fixed typos

From 0.6.4 to 0.6.5


  • Consolidate all the useful name spaces into clojure.core.logic
  • We now only overload ==, no more need to exclude reify or inc

You can use core.logic in your own projects with:

  (:refer-clojure :exclude [==])
  (:use clojure.core.logic))