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

walk* exponential in depth of tree terms?

Description

By 'reification' I mean e.g.:

1 2 (run 1 [t] (== t <some-constant-to-be-reified>))

Demonstration of exponential performance, using nested vectors ([], [[]], [[[]]]...):
https://www.refheap.com/1e30c198d528300fcba9ef24a

Is this expected, or a bug? I'm guessing the former, but hoping the latter. Feel free to close without comment if this is just the way it is.

Environment

[org.clojure/clojure "1.7.0-alpha5"]
[org.clojure/core.logic "0.8.9"]

Status

Assignee

David Nolen

Reporter

Tom Jack

Labels

Approval

None

Patch

None

Priority

Minor