Skip to content
Commits on Oct 12, 2012
  1. @lynaghk

    Add PMap (partial-map) record that unifies with maps whose keys are a…

    lynaghk committed with David Nolen
    … superset of its keys.
Commits on Oct 6, 2012
  1. missing field keyword lookup ansv*

    David Nolen committed
Commits on Oct 5, 2012
  1. remove alpha-equiv?, no longer needed. cache is now (atom #{}). remove

    David Nolen committed
    old pre-condition that checked that cache was a list - it's now an
    persistent set. reuse now uses the persistent set count to find the
    fix point instead of comparing list tails. docstring for the master
    call. master call now makes an efficient contains? call. minor
    formatting for tabled goal.
  2. LOGIC-46: Unification on Struct Maps Causes Error

    David Nolen committed
Commits on Oct 4, 2012
  1. remove things related to sets

    David Nolen committed
  2. notes about changes we need to make to unify-with-map

    David Nolen committed
Commits on Sep 29, 2012
  1. Substitutions now implements clojure.lang.Associative, prep for multi…

    David Nolen committed
    …store refactor
  2. backout tabled recursion support for now

    David Nolen committed
  3. change tabled macro so that we can define a recursive tabled goal in

    David Nolen committed
    places other than the top-level.
  4. Fix comment cache is (atom ()) not (atom []), this is important since

    David Nolen committed
    we use identical? in reuse. This more closely follows Byrd's
    thesis. It's likely that this is the source of the slowdown when the
    contents of the cache is very large. Similarly end in the reuse loop
    is now initialized to () instead of [].
  5. fix version in project.clj

    David Nolen committed
Commits on Sep 28, 2012
  1. LOGIC-54 LOGIC-55 LOGIC-56: Set unification no longer supported. IUni…

    David Nolen committed
    …fyWithSet protocol left as stub for the brave ones.
Commits on Sep 26, 2012
  1. properly comment the behavior of waiting-stream-check

    David Nolen committed
  2. remove overly clever naming around tabling

    David Nolen committed
  3. reformat tabling code

    David Nolen committed
Commits on Sep 5, 2012
  1. [maven-release-plugin] prepare for next development iteration

    Hudson @ build.clojure.org committed
  2. [maven-release-plugin] prepare release core.logic-0.8-alpha3

    Hudson @ build.clojure.org committed
  3. update relevant files for next alpha release

    David Nolen committed
  4. @abrooks

    retractions: Fix bug converting 'set from PersistentHashSet to LazySeq.

    abrooks committed with David Nolen
    This issue does not affect external correctness but will adversely
    affect performance in the presence of duplicated facts.
Commits on Sep 4, 2012
  1. add tests to project.clj :source-paths vector

    David Nolen committed
Commits on Aug 15, 2012
  1. update project.clj

    David Nolen committed
  2. lein2 compat

    David Nolen committed
Commits on Aug 14, 2012
  1. move bounded-listo, change docstring

    David Nolen committed
Commits on Aug 13, 2012
Commits on Aug 12, 2012
Commits on Aug 10, 2012
  1. * notes/todos.org: simplest example illustrating problems with cKanre…

    David Nolen committed
    …n approach
Commits on Aug 9, 2012
  1. move eqfd stuff next to other fd stuff

    David Nolen committed
  2. flip eqfd* emission order to allow domain information to flow. +fd & …

    David Nolen committed
    …*fd support for eqfd sugar. add send more money fd version using eqfd sugar. still suprisingl slow, seems like perhaps too much work is being done on the intermediate vars.
Something went wrong with that request. Please try again.