>>986
> (define-macro prove fexpr (wff)
> (wang (addr (car wff) (line 0 nil nil nil nil)))
> こんな感じでしょうか？

XLispってschemeじゃないよね。

< (defmacro prove (wff)
< `(wang (addr (car ,wff) (line 0 nil nil nil nil)))

じゃねーの？ XLispにbackquoteあるかどうか知らんけど。