Permalink
Commits on Jul 30, 2012
Commits on Jul 29, 2012
  1. * src/main/clojure/clojure/core/logic/bench.clj: some documentation o…

    …f call numbers from big-sudokufd
    David Nolen committed Jul 29, 2012
  2. * src/main/clojure/clojure/core/logic.clj: fix reflection warning and…

    … typo
    David Nolen committed Jul 29, 2012
  3. * src/main/clojure/clojure/core/logic.clj: flesh out member? and disj…

    …oint? implementations for FiniteDomain
    David Nolen committed Jul 29, 2012
  4. * src/main/clojure/clojure/core/logic.clj: IntervalFD now uses member…

    …?* disjoint?* if not simple case.
    David Nolen committed Jul 29, 2012
  5. * src/main/clojure/clojure/core/logic.clj: we need member?* and disjo…

    …int?*, moving MultiIntervalFD implementation into shareable fns.
    David Nolen committed Jul 29, 2012
  6. * src/main/clojure/clojure/core/logic.clj: unification with FiniteDom…

    …ain was missing. printing for FiniteDomain
    David Nolen committed Jul 29, 2012
  7. * src/main/clojure/clojure/core/logic.clj: sorted-set->domain handle …

    …0, 1, >1 cases now. remove sorted-set->dom and replace usage. add clojure.repl/pprint to bench.clj
    David Nolen committed Jul 29, 2012
  8. * src/main/clojure/clojure/core/logic.clj: fix bugs in intersection/d…

    …ifference in FiniteDomain type
    David Nolen committed Jul 29, 2012
Commits on Jul 28, 2012
  1. * src/main/clojure/clojure/core/logic.clj: update-proc cannot assume …

    …constraints still exist in the store.
    David Nolen committed Jul 28, 2012
  2. * src/main/clojure/clojure/core/logic.clj: fix cgoal - we need to mar…

    …k constraint that need the store as running. add our first multi-constraint test!
    David Nolen committed Jul 28, 2012
Commits on Jul 27, 2012
  1. * src/test/clojure/clojure/core/logic/tests.clj: add failing case of …

    …combined constraints
    David Nolen committed Jul 27, 2012
  2. * notes/todos.org: add todos.org

    David Nolen committed Jul 27, 2012
  3. * README.md: update README

    David Nolen committed Jul 27, 2012
  4. * src/main/clojure/clojure/core/logic.clj: remove interval comments, …

    …covered in tests
    David Nolen committed Jul 27, 2012
  5. Merge branch 'cKanren'

    Conflicts:
    	README.md
    
    * README.md: merge master
    David Nolen committed Jul 27, 2012
  6. * src/main/clojure/clojure/core/logic.clj: some bits still missing bu…

    …t I think we're finally ready to merge master :D
    David Nolen committed Jul 27, 2012
  7. * src/main/clojure/clojure/core/logic.clj: bring back all old != test…

    …s. != constraints are not enforceable.
    David Nolen committed Jul 27, 2012
  8. * src/main/clojure/clojure/core/logic.clj: enforce-constraints only c…

    …hecks variables that have at least one enforceable constraint
    David Nolen committed Jul 27, 2012
  9. * src/test/clojure/clojure/core/logic/tests.clj: can bring back most …

    …of the disequality tests
    David Nolen committed Jul 27, 2012
  10. * src/main/clojure/clojure/core/logic.clj: vars-to-remove now takes t…

    …he vars. This is because the constraint may have updated information since it was run. we use the previously relevant vars to figure out what to remove. checkc no longer assumes the constraint is in the store. rename locals id -> ocid in remc. prefix->vars was redundant, we already have recover-vars. recover-vars now returns a set. update the recover-vars tests. new != test that shows that != constraints now get purged.
    David Nolen committed Jul 27, 2012
Commits on Jul 26, 2012
  1. * src/main/clojure/clojure/core/logic.clj: more decomplecting. added …

    …addcg which does what updatecg used to do. ConstraintStore goals are now much closer to the protocol.
    David Nolen committed Jul 26, 2012
  2. * src/main/clojure/clojure/core/logic.clj: more consistent naming aro…

    …und the goal version of the ConstraintStore protocols. fix tests.
    David Nolen committed Jul 26, 2012
  3. * src/main/clojure/clojure/core/logic.clj: fdcg -> cgoal. decomplect,…

    … fdc calls now moved out. cgoal can now be reused. it's important that the functionality can be reused by other constraints.
    David Nolen committed Jul 26, 2012
Commits on Jul 25, 2012
  1. * src/main/clojure/clojure/core/logic.clj: do some decomplecting. upd…

    …atec & checkc are now two different concepts. updatec simply updates the state of constraint. checkc tests for relevance. wip on != tests.
    David Nolen committed Jul 25, 2012
Commits on Jul 24, 2012
  1. * src/main/clojure/clojure/core/logic.clj: fix bug in relevant? var c…

    …ase for !=c. !=c not getting purged
    David Nolen committed Jul 24, 2012
  2. * src/main/clojure/clojure/core/logic.clj:

    * src/test/clojure/clojure/core/logic/tests.clj: fix bugs in prefix-s, !=c & normalize-store. second succeeding != test
    David Nolen committed Jul 24, 2012
  3. * src/main/clojure/clojure/core/logic.clj: update the constraint stor…

    …e in normalize-store at end of loop
    David Nolen committed Jul 24, 2012