walk* exponential in depth of tree terms?

Description

By 'reification' I mean e.g.:

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"]

Assignee

David Nolen

Reporter

Tom Jack

Labels

Approval

None

Patch

None

Priority

Minor
Configure