LISTネストされたcondで返されます

Question

私のプログラムがなぜ動作しているのか分かりません。機能の

(defvar A '((X Y Z) (J L O P) (G W U)) 

(defvar Z '(X W D U G)) 

(defvar STOP 'G) 

(defun ADD_to_Z(A2) 
    (prog() 
    (cond 
     ((equal (Member_Of_Z (list A2)) 0)) 
     (t (setq Z (append Z (list A2)))) 
    ) 
) 
) 

(defun Member_of_Z(cdr_A1) 

(prog(n temp) 
    (setq n 0) 
    (setq temp cdr_A1) 
    repeat 
    (cond 
    ((null temp) (return n)) 
    ((null (member (car temp) Z)) (setq n (+ n 1)) (setq temp (cdr temp))) 
    (t (setq n (+ n 0)) (setq temp (cdr temp))) 
    ) 
    (go repeat) 
) 
) 



(defun TEST(A) 

(prog(A1 A2) 

     (cond 
      ((null A) (return 'Fail)) 
      (t (setq A1 (car A)) (setq A (cdr A)) (setq A2 (car A1)) 
      (cond 
       ((equal (Member_Of_Z (cdr A1)) 0) 
       (cond 
       ((equal A2 STOP) (return 'SUCCESS)) 
       (t (ADD_to_Z A2) (setq A (cdr A)) (TEST A)) 
       ) 
      ) 
       (t (TEST A) ) 
      ) 
     ) 
    ) 

    ) 
    ) 

目標： - 彼らが行う場合cdr A1のがZに属しすべての要素が、それは（そうでない場合は、他のいくつかの他の数）は0を返すかどうMember_of_Zを確認します。唯一のAは思わない：これはが起きていないことは、Aが0

問題を返さないときMember_Of_Z ZにA2を追加します((G W U))

• ADD_to_Zに等しい場合にSUCCESSを返すようにするとしたものです関数TESTの最後で、Aは(setq A (cdr A))で修正していますが、defvarで設定した元の値と同じです。また、SUCCESSは返されません。

  助けてくれませんか？

Answer 1

手順1：標準の書式設定（最初のトップレベルフォームの修復）を使用します。

(defvar A '((X Y Z) (J L O P) (G W U))) 

(defvar Z '(X W D U G)) 

(defvar STOP 'G) 

(defun ADD_to_Z (A2) 
    (prog() 
    (cond ((equal (Member_Of_Z (list A2)) 0)) 
      (t (setq Z (append Z (list A2))))))) 

(defun Member_of_Z (cdr_A1) 
    (prog (n temp) 
    (setq n 0) 
    (setq temp cdr_A1) 
    repeat 
    (cond ((null temp) (return n)) 
      ((null (member (car temp) Z)) (setq n (+ n 1)) (setq temp (cdr temp))) 
      (t (setq n (+ n 0)) (setq temp (cdr temp)))) 
    (go repeat))) 

(defun TEST (A) 
    (prog (A1 A2) 
    (cond ((null A) (return 'Fail)) 
      (t (setq A1 (car A)) 
      (setq A (cdr A)) 
      (setq A2 (car A1)) 
      (cond ((equal (Member_Of_Z (cdr A1)) 0) 
        (cond ((equal A2 STOP) (return 'SUCCESS)) 
          (t (ADD_to_Z A2) (setq A (cdr A)) (TEST A)))) 
        (t (TEST A))))))) 

手順2：標準命名を使用します。

(defvar *a* '((x y z) (j l o p) (g w u))) 

(defvar *z* '(x w d u g)) 

(defvar *stop* 'g) 

(defun add-to-z (a2) 
    (prog() 
    (cond ((equal (member-of-z (list a2)) 0)) 
      (t (setq *z* (append *z* (list a2))))))) 

(defun member-of-z (cdr-a1) 
    (prog (n temp) 
    (setq n 0) 
    (setq temp cdr-a1) 
    repeat 
    (cond ((null temp) (return n)) 
      ((null (member (car temp) *z*)) (setq n (+ n 1)) (setq temp (cdr temp))) 
      (t (setq n (+ n 0)) (setq temp (cdr temp)))) 
    (go repeat))) 

(defun test (a) 
    (prog (a1 a2) 
    (cond ((null a) (return 'fail)) 
      (t (setq a1 (car a)) 
      (setq a (cdr a)) 
      (setq a2 (car a1)) 
      (cond ((equal (member-of-z (cdr a1)) 0) 
        (cond ((equal a2 *stop*) (return 'success)) 
          (t (add-to-z a2) (setq a (cdr a)) (test a)))) 
        (t (test a))))))) 

ステップ3：PROGを取り除く。

(defvar *a* '((x y z) (j l o p) (g w u))) 

(defvar *z* '(x w d u g)) 

(defvar *stop* 'g) 

(defun add-to-z (a2) 
    (cond ((equal (member-of-z (list a2)) 0)) 
     (t (setq *z* (append *z* (list a2)))))) 

(defun member-of-z (cdr-a1) 
    (let ((n 0) 
     (temp cdr-a1)) 
    repeat 
    (cond ((null temp) (return n)) 
      ((null (member (car temp) z)) (setq n (+ n 1)) (setq temp (cdr temp))) 
      (t (setq n (+ n 0)) (setq temp (cdr temp)))) 
    (go repeat))) 

(defun test (a) 
    (cond ((null a) (return 'fail)) 
     (t (let ((a1 (car a)) 
       (a (cdr a)) 
       (a2 (car a1))) 
      (cond ((equal (member-of-z (cdr a1)) 0) 
        (cond ((equal a2 *stop*) (return 'success)) 
          (t (add-to-z a2) (setq a (cdr a)) (test a)))) 
        (t (test a))))))) 

手順4：手巻きループを構造化ループに置き換えます。

(defvar *a* '((x y z) (j l o p) (g w u))) 

(defvar *z* '(x w d u g)) 

(defvar *stop* 'g) 

(defun add-to-z (a2) 
    (cond ((equal (member-of-z (list a2)) 0)) 
     (t (setq *z* (append *z* (list a2)))))) 

(defun member-of-z (cdr-a1) 
    (let ((n 0) 
     (temp cdr-a1)) 
    (loop :for element :in temp 
      :unless (member element *z*) 
      :do (incf n)) 
    n)) 

(defun test (a) 
    (cond ((null a) (return 'fail)) 
     (t (let ((a1 (car a)) 
       (a (cdr a)) 
       (a2 (car a1))) 
      (cond ((equal (member-of-z (cdr a1)) 0) 
        (cond ((equal a2 *stop*) (return 'success)) 
          (t (add-to-z a2) (setq a (cdr a)) (test a)))) 
        (t (test a))))))) 

ステップ5：2節のCONDをIFに置き換えます。いずれにしても、末尾に テールポジションにあるときは、RETURNフォームを減らしてください（そのようには動作しません）。

(defvar *a* '((x y z) (j l o p) (g w u))) 

(defvar *z* '(x w d u g)) 

(defvar *stop* 'g) 

(defun add-to-z (a2) 
    (if (equal (member-of-z (list a2)) 0) 
     nil 
     (setq *z* (append *z* (list a2))))) 

(defun member-of-z (cdr-a1) 
    (let ((n 0) 
     (temp cdr-a1)) 
    (loop :for element :in temp 
      :unless (member element *z*) 
      :do (incf n)) 
    n)) 

(defun test (a) 
    (if (null a) 
     'fail 
     (let ((a1 (car a)) 
      (a (cdr a)) 
      (a2 (car a1))) 
     (if (equal (member-of-z (cdr a1)) 0) 
      (if (equal a2 *stop*) 
       'success 
       (progn (add-to-z a2) (setq a (cdr a)) (test a))) 
      (test a))))) 

ステップ6：シンプルなカウント機能付きループを交換してください。

(defvar *a* '((x y z) (j l o p) (g w u))) 

(defvar *z* '(x w d u g)) 

(defvar *stop* 'g) 

(defun add-to-z (a2) 
    (if (equal (member-of-z (list a2)) 0) 
     nil 
     (setq *z* (append *z* (list a2))))) 

(defun member-of-z (cdr-a1) 
    (count-if-not (lambda (element) 
        (member element *z*)) 
       cdr-a1)) 

(defun test (a) 
    (if (null a) 
     'fail 
     (let ((a1 (car a)) 
      (a (cdr a)) 
      (a2 (car a1))) 
     (if (equal (member-of-z (cdr a1)) 0) 
      (if (equal a2 *stop*) 
       'success 
       (progn 
        (add-to-z a2) 
        (setq a (cdr a)) 
        (test a))) 
      (test a))))) 

この時点で、私はまだ何をしようとしているのか分かりません。おそらく、あなたは完全に*z*に含まれている*a*内のリストを見つけること をしたい：

(defun test (a) 
    (find-if (lambda (list) 
      (every (lambda (element) 
         (member element *z*)) 
        list)) 
      a))