We're updating the issue view to help you get more done. 

another issue with predc constraint is not enforced when it could be

Description

This returns ([1 1]) instead of ().

1 2 3 4 5 6 7 (run* [q] (fresh [x y] (predc y even? `even?) (predc x odd? `odd) (== x y) (== x 1) (== q [x y]))))

Environment

None

Status

Assignee

David Nolen

Reporter

Nada Amin

Labels

None

Approval

None

Patch

None

Priority

Major