Welcome! Please see the About page for a little more info on how this works.

0 votes
in core.logic by

the is macro should work like the following:

(is x (- (+ a b) c))

All locals appearing in the right expression should be walked.

1 Answer

0 votes
by
Reference: https://clojure.atlassian.net/browse/LOGIC-47 (reported by dnolen)
...