Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Jan 20, 2013

  1. Nada Amin

    Tests now show how the predc reifier would be used in practice.

    namin authored
  2. Nada Amin

    Merge pull request #16 from namin/predc-custom-reifier

    Optional custom reifier for predc.
    namin authored
  3. Nada Amin

    Optional custom reifier for predc.

    namin authored

Jan 17, 2013

  1. David Nolen

    remove some dead code

    swannodette authored
  2. David Nolen

    move IForceAnswerTerm back into core.clj

    swannodette authored

Jan 16, 2013

  1. [maven-release-plugin] prepare for next development iteration

    Hudson @ build.clojure.org authored
  2. [maven-release-plugin] prepare release core.logic-0.8.0-rc2

    Hudson @ build.clojure.org authored
  3. David Nolen

    update CHANGES & README, bump project.clj

    swannodette authored
  4. David Nolen

    remove typo

    swannodette authored
  5. David Nolen

    fix some typos in bench.clj

    swannodette authored
  6. David Nolen

    move CLP(FD) work into it's own namespace

    CLP(FD) now resides in it's own namespace with exception of a few
    remaining complected bits. Updated tests and benchmarks. All tests pass.
    swannodette authored

Jan 15, 2013

  1. David Nolen

    change `ITreeConstraint` into marker interface

    swannodette authored

Jan 14, 2013

  1. David Nolen

    tidy up protocol references, type/interface references, & namespaced

    keywords in nominal.clj.
    swannodette authored
  2. David Nolen

    make `IEnforceableConstraint` a marker interface

    And remove yucky extension of `IEnforceableConstraint` to `Object`.
    
    Related clean up references to types and interfaces defined in
    logic.clj.
    swannodette authored
  3. David Nolen

    remove explicit constraint id management

    remove all explicity constraint id management. A minor performance
    hit. The fast path is still available for those that need it.
    
    fix `-featurec`, wasn't wrapping fs argument in a partial map.
    
    fix affected tests. bring back purge test.
    swannodette authored
  4. David Nolen

    remove `FDConstraint`

    Remove `FDConstraint` wrapper type. This mostly meant that the fd
    constraints needed to implement `IEnforceableConstraint` and
    `IConstraintWatchedStores`, most already implemented `IRunnable` of
    course.
    
    Add `id` and `with-id` fns which delegate to `-id` and `-with-id` if
    the constraint implements them. This is prep to see if we can remove
    those protocol fns without taking a performance hit. This would
    simplify constraint definition and leave the door open for variadic
    constraints - currently the final argument must be taken by the
    constraint id.
    swannodette authored

Jan 13, 2013

  1. David Nolen

    this `walk*`s should not be necessary as far as I can tell

    swannodette authored

Jan 11, 2013

  1. Nada Amin

    LOGIC-98: fix for LOGIC-98, by making nominal aware of fd.

    namin authored swannodette committed
  2. David Nolen

    `root-var` not needed

    swannodette authored
  3. Nada Amin

    LOGIC-104. Changed the ::nom dom to a set.

    namin authored swannodette committed
  4. David Nolen

    add test for LOGIC-103

    swannodette authored

Jan 10, 2013

  1. David Nolen

    LOGIC-103: another `<=fd` non-termination bug

    Add supporting fns `interval-<=` and `interval->=`. Remove silly logic
    from `<=fdc` implementation, just use `interval-<=`.
    swannodette authored

Jan 09, 2013

  1. David Nolen

    typo

    swannodette authored
  2. David Nolen

    note differences from core.unify

    swannodette authored
  3. David Nolen

    remove root-var calls, not needed w/ update-dom

    swannodette authored

Jan 08, 2013

  1. David Nolen

    update experimental Datomic support

    Support unification of PersistentVector with datomic.Datom
    swannodette authored
  2. David Nolen

    break out `unify-with-sequential*`

    This is so we can reuse it in the experimental Datomic namespace.
    swannodette authored
  3. David Nolen

    typo

    swannodette authored
  4. [maven-release-plugin] prepare for next development iteration

    Hudson @ build.clojure.org authored
  5. [maven-release-plugin] prepare release core.logic-0.8.0-rc1

    Hudson @ build.clojure.org authored
  6. David Nolen

    update CHANGES.md, update README.md, bump project.clj

    swannodette authored
  7. Nada Amin

    LOGIC-102: nom/hash tweaks.

    namin authored swannodette committed

Jan 07, 2013

  1. Nada Amin

    LOGIC-100

    namin authored swannodette committed
  2. Nada Amin

    LOGIC-101

    namin authored swannodette committed

Jan 05, 2013

  1. David Nolen

    Add `seqc` constraint

    swannodette authored
Something went wrong with that request. Please try again.