Uploaded image for project: 'core.logic'
  1. LOGIC-166

walk* exponential in depth of tree terms?

    Details

    • Type: Bug
    • Status: Open
    • Priority: Minor
    • Resolution: Unresolved
    • Labels:
    • Environment:

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

      Description

      By 'reification' I mean e.g.:

      (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.

        Attachments

          Activity

            People

            • Assignee:
              dnolen David Nolen
              Reporter:
              tomoj Tom Jack
            • Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated: