Paste number 152086: trace beta-reduce

Paste number 152086: trace beta-reduce
Pasted by: coredump
When:5 years, 1 month ago
Share:Tweet this! | http://paste.lisp.org/+39CM
Channel:None
Paste contents:
Raw Source | XML | Display As
(trace beta-reduce)
(beta-reduce '((L X (L U X)) ((L X (L U X)) ((L X (L U X))((L X (L U X)) (L X (L U X))))))



  0: (BETA-REDUCE
      ((L X (L U X))
       ((L X (L U X)) ((L X (L U X)) ((L X (L U X)) (L X (L U X)))))))
    1: (BETA-REDUCE (L X (L U X)) 97)
      2: (BETA-REDUCE (L U X) 98)
        3: (BETA-REDUCE X 99)
        3: BETA-REDUCE returned #:|a|
      2: BETA-REDUCE returned (L #:|b| #:|a|)
    1: BETA-REDUCE returned (L #:|a| (L #:|b| #:|a|))
    1: (BETA-REDUCE
        ((L X (L U X)) ((L X (L U X)) ((L X (L U X)) (L X (L U X))))) 97)
      2: (BETA-REDUCE (L X (L U X)) 97)
        3: (BETA-REDUCE (L U X) 98)
          4: (BETA-REDUCE X 99)
          4: BETA-REDUCE returned #:|a|
        3: BETA-REDUCE returned (L #:|b| #:|a|)
      2: BETA-REDUCE returned (L #:|a| (L #:|b| #:|a|))
      2: (BETA-REDUCE ((L X (L U X)) ((L X (L U X)) (L X (L U X)))) 97)
        3: (BETA-REDUCE (L X (L U X)) 97)
          4: (BETA-REDUCE (L U X) 98)
            5: (BETA-REDUCE X 99)
            5: BETA-REDUCE returned #:|a|
          4: BETA-REDUCE returned (L #:|b| #:|a|)
        3: BETA-REDUCE returned (L #:|a| (L #:|b| #:|a|))
        3: (BETA-REDUCE ((L X (L U X)) (L X (L U X))) 97)
          4: (BETA-REDUCE (L X (L U X)) 97)
            5: (BETA-REDUCE (L U X) 98)
              6: (BETA-REDUCE X 99)
              6: BETA-REDUCE returned #:|a|
            5: BETA-REDUCE returned (L #:|b| #:|a|)
          4: BETA-REDUCE returned (L #:|a| (L #:|b| #:|a|))
          4: (BETA-REDUCE (L X (L U X)) 97)
            5: (BETA-REDUCE (L U X) 98)
              6: (BETA-REDUCE X 99)
              6: BETA-REDUCE returned #:|a|
            5: BETA-REDUCE returned (L #:|b| #:|a|)
          4: BETA-REDUCE returned (L #:|a| (L #:|b| #:|a|))
          4: (BETA-REDUCE (L #:|b| #:|a|) 97)
            5: (BETA-REDUCE #:|a| 98)
            5: BETA-REDUCE returned (L #:|a| (L #:|b| #:|a|))
          4: BETA-REDUCE returned (L #:|a| (L #:|a| (L #:|b| #:|a|)))
        3: BETA-REDUCE returned (L #:|a| (L #:|a| (L #:|b| #:|a|)))
        3: (BETA-REDUCE (L #:|b| #:|a|) 97)
          4: (BETA-REDUCE #:|a| 98)
          4: BETA-REDUCE returned (L #:|a| (L #:|a| (L #:|b| #:|a|)))
        3: BETA-REDUCE returned (L #:|a| (L #:|a| (L #:|a| (L #:|b| #:|a|))))
      2: BETA-REDUCE returned (L #:|a| (L #:|a| (L #:|a| (L #:|b| #:|a|))))
      2: (BETA-REDUCE (L #:|b| #:|a|) 97)
        3: (BETA-REDUCE #:|a| 98)
        3: BETA-REDUCE returned (L #:|a| (L #:|a| (L #:|a| (L #:|b| #:|a|))))
      2: BETA-REDUCE returned
           (L #:|a| (L #:|a| (L #:|a| (L #:|a| (L #:|b| #:|a|)))))
    1: BETA-REDUCE returned
         (L #:|a| (L #:|a| (L #:|a| (L #:|a| (L #:|b| #:|a|)))))
    1: (BETA-REDUCE (L #:|b| #:|a|) 97)
      2: (BETA-REDUCE #:|a| 98)
      2: BETA-REDUCE returned
           (L #:|a| (L #:|a| (L #:|a| (L #:|a| (L #:|b| #:|a|)))))
    1: BETA-REDUCE returned
         (L #:|a| (L #:|a| (L #:|a| (L #:|a| (L #:|a| (L #:|b| #:|a|))))))
  0: BETA-REDUCE returned
       (L #:|a| (L #:|a| (L #:|a| (L #:|a| (L #:|a| (L #:|b| #:|a|))))))

This paste has no annotations.

Colorize as:
Show Line Numbers

Lisppaste pastes can be made by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively.