Permalink
Commits on Dec 12, 2012
  1. [maven-release-plugin] prepare release core.logic-0.8.0-beta3

    Hudson @ build.clojure.org committed Dec 12, 2012
  2. update README, CHANGES, project.clj for 0.8.0-beta3

    David Nolen committed Dec 12, 2012
  3. LOGIC-75: needed -force-ans implementations for clojure.lang.IPersist…

    …entMaps as well as LCons
    David Nolen committed Dec 12, 2012
  4. Fix Choice bind implementation - semantics of inc are all about sched…

    …uling. mplus
    
    doesn't take an inc - it takes a regular thunk - lazy evaluation. Fix mplus
    implementation for nil - force the thunk.
    David Nolen committed Dec 12, 2012
Commits on Dec 10, 2012
  1. clean up solutions a bit

    David Nolen committed Dec 10, 2012
Commits on Dec 7, 2012
  1. update git ignores

    David Nolen committed Dec 7, 2012
  2. update project.clj

    David Nolen committed Dec 7, 2012
Commits on Nov 28, 2012
  1. experimental defc

    David Nolen committed Nov 28, 2012
  2. add a simple recursive ground-term predicate?

    David Nolen committed Nov 28, 2012
Commits on Nov 24, 2012
  1. add groupid, switch to nrepl

    David Nolen committed Nov 24, 2012
  2. make unification w/ ::not-found impossible

    David Nolen committed Nov 24, 2012
  3. another missing ::not-found case

    David Nolen committed Nov 24, 2012
Commits on Nov 23, 2012
  1. remove comment, fix typo

    David Nolen committed Nov 23, 2012
  2. LOGIC-73: fix incorrect partial-map unification behavior. if a key is…

    … not
    
    found then we should fail unless the user is explicitly checking for the
    ::not-found value.
    David Nolen committed Nov 23, 2012
Commits on Nov 21, 2012
  1. LOGIC-69: All IWalkTerm implementations should recurse.

    lynaghk committed with David Nolen Nov 21, 2012
Commits on Nov 20, 2012
  1. add metadata support to CVars

    David Nolen committed Nov 20, 2012
Commits on Nov 19, 2012
  1. remove old todos.org

    David Nolen committed Nov 19, 2012
Commits on Nov 14, 2012
  1. LOGIC-67: adjust handling of locals in defne and related macros - in …

    …CLJS
    
    &env is not a map of locals - (:locals &env) is.
    David Nolen committed Nov 14, 2012
Commits on Nov 9, 2012
  1. add annotate goal, useful for setting some state that we can read back

    later.
    David Nolen committed Nov 9, 2012
  2. fix some broken edge cases in *fdc safe-div. simple-eqfd is now fully…

    … determined
    
    by constraint propagation. no need for search.
    David Nolen committed Nov 9, 2012
  3. fix bug in !=fd -relevant? implementation

    David Nolen committed Nov 9, 2012
  4. add debug-doms for bench.clj. alias for core namespace so we can use …

    …short
    
    namespaced keywords, debugging cryptarithfd.
    David Nolen committed Nov 9, 2012
  5. no-propagate optimization makes no sense when coupled w/ arithmetic c…

    …onstraints.
    
    we need to provide a proper fix for distinctfd.
    David Nolen committed Nov 9, 2012
  6. note about safefd + distribute causing an exception

    David Nolen committed Nov 9, 2012
Commits on Nov 8, 2012
  1. rename Var interface to IVar. Add IUnitialized protocol for records. …

    …clean
    
    up map unification. Add walk-record-term helper. Remove missing code, needs
    more thought.
    David Nolen committed Nov 8, 2012
  2. Merge branch 'master' into missing

    David Nolen committed Nov 8, 2012
  3. ensure that == is commutative on partial maps

    David Nolen committed Nov 8, 2012
  4. remove reliance on clojure.walk. IWalkTerm now takes a term and subst…

    …itution
    
    function. change walk* to account for the changed interface. remove post-walk
    usage from prep. this to support extensible walking - records, partial maps,
    etc.
    David Nolen committed Nov 8, 2012
Commits on Nov 7, 2012