lispの課題について分かりません

Question

前提・実現したいこと

大学の授業でLISPを学んでいます。
分からなくなったので質問させていただきます。

関数 successor は２つの引数をとり、第 2 引数はリストである。
第 1 引数が第 2 引数の要素に含まれていれば、第 2 引数のリストの中で、第 1 引数と同じ要素の次の要素を返す。
ただし、第 1 引数と同じ要素がリストの最後である場合には、no-successor を返す。第 1 引数が第 2 引数に含まれ
ていなければ not-there と返す。
例： (successor 'x '(w x y z)) → y
(successor 'z '(w x y z)) → no-successor
(successor 'q '(a b c)) → not-there

発生している問題・エラーメッセージ

[46]> (successor 'z '(w x y z)
)
NIL
[47]> (successor 'w '(w x y z)
)
X
[48]> (successor 'a '(w x y z)
)
NOT-THERE
[49]> 

該当のソースコード

(defun successor (arg1 arg2)
             (cond ((member arg1 arg2)
                    (if (equal arg1 (car (reverse arg2)))'no-successor)
                    (loop (cond ((equal arg1 (car arg2))(return (car (cdr arg2))))) 
                          (setq arg2 (cdr arg2))))(t 'not-there)))

試したこと

memberで配列に単語があるのか確認し
単語が配列の最後尾の場合no-successorを表示しようと思っているのですが
NILが表記されてしまいます。
このNILはif文のreturnが上手くわたっていないのでしょうか

補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。

Answer 1

(cond (条件 式1 式2))で、条件が真なら式1((if ～))も評価しますが、
全体が返すのは式2（(loop～)）の値です。それがNILなのでしょう。

3パターン別に書いてわかりやすくすると、

(cond ((not (member arg1 arg2)) 'not-there)
      ((equal arg1 (car (reverse arg2))) 'no-successor)
      (t それ以外の処理)
)

でしょうか。

Comments

[Amateur0845]

回答ありがとうございます。
勘違いしてました。
どの値が帰ってきているか分からず悩んでいましたが
return値は式2の値だったのですね
分かり易く表示もできました。
ありがとうございます。

[otn]

式を複数書いても良い場合は、通常は最後の式の値です。
一部例外はありますが。

あと、こういのは普通は再帰処理で書くかと思います。

また、上記回答ではお書きの判断基準をそのまま使ってますが、
(successor 'x '(w x y x)) の場合、y を返さずに no-successor ですね。
リストに重複は想定しないと言うことなら良いですが。