Permalink
Commits on Mar 13, 2013
  1. [maven-release-plugin] prepare release core.logic-0.8.0-rc3

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

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

    swannodette committed Mar 13, 2013
  4. optimization

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

    swannodette committed Mar 13, 2013
    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.
Commits on Mar 12, 2013
  1. first pass at new table cache type. nondeterminism and general bad

    swannodette committed Mar 12, 2013
    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.
  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.

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

    swannodette committed Mar 2, 2013
Commits on Mar 1, 2013
  1. quick fix, don't penalize update-dom usage in nominal.clj. It's not

    swannodette committed Mar 1, 2013
    clear to me that ::nom information needs to be in the var dom info.
Commits on Feb 28, 2013
  1. full support for entanglement. merge-with-root now ensures that any

    swannodette committed Feb 28, 2013
    vars entangled by the root and the repointed var will have their
    domains updated to the merged domains of the root. we could probably
    make this a bit more efficient but this is enough to remove any
    reference from nominal.clj of FD or any other constraint domain like it.
  2. because of var repointing eset may not reflect latest, account for

    swannodette committed Feb 28, 2013
    this when updating entangled vars.
  3. merge-subst-vals -> merge-with-root. this fn now returns substitutions

    swannodette committed Feb 28, 2013
    in prep for entanglement related changes.
Commits on Feb 27, 2013