add underscores in named lvars so it's easier to see the original name
Added arch friends puzzle, shows a problem with argument order and fd/!=
LOGIC-124: fix disjoint?* bug uncovered by Ryan Senior's test
case. Add additional disjoint tests.
remove stale comments
0.8.2
[maven-release-plugin] prepare release core.logic-0.8.2
[maven-release-plugin] prepare for next development iteration
tweak
LOGIC-126: bad fd/* fd/+ from StackOverflow

The issue is that it's possible for a var to have both a value and
domain. Previously get-dom *always* returned the domain, this
permitted an the undesirable situation that constraints checked against
the domain and not the actual value.

Now the fundamental get-dom always return the value if the var has one
over the domain (it continues to return nil in the unfound case, which
will likely change). After auditing the fd code it's clear that the
primary use of get-dom was the desire to get the actual value or the
domain. The only place where we don't do this is domc. domc has to
reach into the implementation. This is OK for now, I'd like to see
how CLP(Set) and other constraint domains play out.

We tweaked resolve-storable-dom in the singleton case. We only run
constraints if the var doesn't have a binding (we wouldn't have made
it this far if it had). This prevents I believe the bad behavior we
seen in the past when flipping walk/get-dom in let-dom.

let-dom now just uses get-dom, no separate walk. Added note in
distintc why we need both get-dom and walk there.

Overall we're getting closer, but I think further simplifications and
improvment can be made.
0.8.3
[maven-release-plugin] prepare release core.logic-0.8.3
[maven-release-plugin] prepare for next development iteration
update note, I don't believe that `get-dom` need return a not-found value.
add magic-square to bench.clj
change iterations
domain? as currently used unnecessary. let-dom always returns nil when
a var has no domain. simplify.
rename protocols to FD in prep for unified CLJ/CLJS codebase.
fix bug from Zurich talk, simple equation example could not have the
fd/in expression come last because of a bug in domc.
Fixed LOGIC-127, nom swapping now preserves vectors and maps

Signed-off-by: amin <nada.amin@epfl.ch>
refactor constraints to use IConstraintStep, this way we can avoid
unnecessary calls to `get-dom` while retaining the flexibility to call
`-runnable?`, `-entailed?`, and constraint invocation in whatever
order we please.

refactor protocols to use ClojureScript style naming convention - this
is prep for eventual unification of the two code bases.