Permalink
Commits on Mar 18, 2013
  1. [maven-release-plugin] prepare release core.logic-0.8.1

    Hudson @ build.clojure.org committed Mar 18, 2013
  2. LOGIC-108: recursive featurec. Add protocol IFeature. Implementers

    should return something which can optional unify in the manner of
    partial-map. Extend IPersistentHashMap to IFeature. Add test cases
    demonstrating recursive behavior.
    swannodette committed Mar 18, 2013
  3. LOGIC-83: fix typo in test

    swannodette committed Mar 18, 2013
Commits on Mar 17, 2013
  1. LOGIC-71: fixed unifier reify vars issue some time ago. Documenting

    the fix with a test.
    David Nolen committed Mar 17, 2013
  2. LOGIC-116: In `migrate` the root may not have an entry in `km`, we

    need to return the empty set in that case, otherwise will we'll call
    into on nil which defaults to a seq causing the set only operations
    like `disj` to fail.
    David Nolen committed Mar 17, 2013
  3. Merge branch 'master' of github.com:clojure/core.logic

    David Nolen committed Mar 17, 2013
  4. walk-term for ISeqs should not be lazy, refs #121

    Attach metadata only to terms that support it, refs #120
    
    lvars-store should be a map and not a set, refs #122
    
    Tests for LOGIC-120, LOGIC-121 and LOGIC-122
    jonase committed with David Nolen Mar 16, 2013
  5. [maven-release-plugin] prepare for next development iteration

    Hudson @ build.clojure.org committed Mar 17, 2013
  6. [maven-release-plugin] prepare release core.logic-0.8.0

    Hudson @ build.clojure.org committed Mar 17, 2013
  7. 0.8.0

    David Nolen committed Mar 17, 2013
Commits on Mar 13, 2013
  1. [maven-release-plugin] prepare for next development iteration

    Hudson @ build.clojure.org committed Mar 13, 2013
  2. [maven-release-plugin] prepare release core.logic-0.8.0-rc3

    Hudson @ build.clojure.org committed Mar 13, 2013
  3. bump version

    swannodette committed Mar 13, 2013
  4. include 112 test case

    swannodette committed Mar 13, 2013
  5. optimization

    swannodette committed Mar 13, 2013
  6. LOGIC-112: Incorrect results with tabled resolution

    The bug was introduced when we switched the answer cache to sets. In
    `reuse` we were calling `first` on the set which of course won't
    work.
    
    We not have an `AnswerCache` type. This holds both the list of answers
    for determining the fixpoint as well as the answers as a set for
    quickly determining whether we've already cached an answer.
    
    The additionally memory overhead does make it desirable to have more
    sharing of tabled information between answer caches.
    swannodette committed Mar 13, 2013
Commits on Mar 12, 2013
  1. first pass at new table cache type. nondeterminism and general bad

    behavior in tabling results from the `(first ansv*)` line in the
    implementation of `reuse` - there's no guarantee what that will return
    for sets. Ooops.
    swannodette committed Mar 12, 2013
  2. update project.clj

    swannodette committed Mar 12, 2013
Commits on Mar 11, 2013
  1. whitespace changes

    namin committed Mar 11, 2013
  2. a few little cleanups

    namin committed Mar 11, 2013
  3. remove stray field access

    swannodette committed Mar 11, 2013
  4. Fix copy-term.

    - build-term for vars seemed out-of-date,
    - build-term needs to be implemented for all collections (including
      vectors), not just seq.
    namin committed Mar 11, 2013
Commits on Mar 10, 2013
Commits on Mar 2, 2013
  1. DRY

    swannodette committed Mar 2, 2013