재귀

Question

이 같이 작동

(defun help(a x) 
    (if (null x) nil 
    (cons (cons a (car x)) (help a (cdr x))))) 

(defun partition(x) 
    (if (null x) '(nil) 
    (append (help (car x) (partition(cdr x))) (partition(cdr x))))) 

와 LISP 프로그램을 이해하는 것이 필요 : (partition '(a b)) -> ((A B) (A) (B) NIL) 나는 그것이 어떻게 작동하는지 이해하기 위해 노력하고있어. 누군가 결과를 얻으려는 것을 설명 할 수 있습니까? 나는 코드를 따르고 종이에 글쓰기를 시도했지만 실패했다.

Answer 1

trace 함수를 사용하면 LISP REPL에서 함수 호출을 시각화 할 수 있습니다. 그 쪽 아웃 sbcl

* (defun help(a x) 
    (if (null x) nil 
    (cons (cons a (car x)) (help a (cdr x))))) 

HELP 
* (defun partition(x) 
    (if (null x) '(nil) 
    (append (help (car x) (partition(cdr x))) (partition(cdr x))))) 

PARTITION 
* (trace help) 

(HELP) 
* (trace partition) 

(PARTITION) 
* (partition '(a b)) 
    0: (PARTITION (A B)) 
    1: (PARTITION (B)) 
     2: (PARTITION NIL) 
     2: PARTITION returned (NIL) 
     2: (HELP B (NIL)) 
     3: (HELP B NIL) 
     3: HELP returned NIL 
     2: HELP returned ((B)) 
     2: (PARTITION NIL) 
     2: PARTITION returned (NIL) 
    1: PARTITION returned ((B) NIL) 
    1: (HELP A ((B) NIL)) 
     2: (HELP A (NIL)) 
     3: (HELP A NIL) 
     3: HELP returned NIL 
     2: HELP returned ((A)) 
    1: HELP returned ((A B) (A)) 
    1: (PARTITION (B)) 
     2: (PARTITION NIL) 
     2: PARTITION returned (NIL) 
     2: (HELP B (NIL)) 
     3: (HELP B NIL) 
     3: HELP returned NIL 
     2: HELP returned ((B)) 
     2: (PARTITION NIL) 
     2: PARTITION returned (NIL) 
    1: PARTITION returned ((B) NIL) 
    0: PARTITION returned ((A B) (A) (B) NIL) 
((A B) (A) (B) NIL) 

에서

예 출력은 좀 더 도움이 될하는 방법을 전혀 모르겠어요.