LOGIC-69: All IWalkTerm implementations should recurse.
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.
remove comment, fix typo
fix broken handling of ::not-found in normal map unification
another missing ::not-found case
make unification w/ ::not-found impossible
add groupid, switch to nrepl
add a simple recursive ground-term predicate?
experimental defc
fix the reifiable implementation for constraints defined with defc
update project.clj
update git ignores
first cut at supportting constraints with the simple unifier via :when
clean up solutions a bit
Fix Choice bind implementation - semantics of inc are all about scheduling. mplus
doesn't take an inc - it takes a regular thunk - lazy evaluation. Fix mplus
implementation for nil - force the thunk.
LOGIC-75: needed -force-ans implementations for clojure.lang.IPersistentMaps as well as LCons
_.N is not a valid symbol in Clojure source, switching to _N.
update README, CHANGES, project.clj for 0.8.0-beta3
[maven-release-plugin] prepare release core.logic-0.8.0-beta3
[maven-release-plugin] prepare for next development iteration