fresh (define-syntax fresh (syntax-rules () ((fresh () g ...) (conj g ...)) ((fresh (x0 x ...) g ...) (call/fresh 'x0 (lambda (x0) (fresh (x ...) g ...)))))) やってみる