Как использовать кавычки и без кавычек, чтобы более точно перевести The Reasoned Schemer на Racket?

(Подробности настройки моего miniKanren в Racket приведены внизу [1].)

То, как работают кавычки и без кавычек в The Reasoned Schemer, похоже, не соответствует тому, как они работают в Racket. Например, стих 2 главы 2 предлагает [2] следующее определение функции:

(run #f
     (r )
     (fresh (y x )
            (== '(,x ,y) r )))

Если я это оцениваю, я получаю '((,x ,y)). Если вместо этого я перепишу это так:

(run #f
     (r )
     (fresh (y x )
            (== (list x y) r)))

Я получаю ожидаемый результат, '((_.0 _.1)).

Это может показаться незначительной проблемой, но во многих случаях требуемый перевод очень многословен. Например, в упражнении 45 главы 3 (стр. 34) книга дает примерно[3] следующее определение:

(run 5 (r)
     (fresh (w x y z)
            (loto (('g 'g) ('e w) (x y) . z))
            (== (w (x y) z) r)))

Чтобы получить результаты, которые они получают, мне пришлось переписать это так:

(run 5 (r)
     (fresh (w x y z)
            (loto (cons '(g g)
                        (cons (list 'e w)
                              (cons (list x y)
                                    z))))
            (== (list w (list x y) z)
                r)))

[1] Как описано здесь, я запустил raco pkg install minikanren и затем определил несколько недостающих частей.

[2] На самом деле они не пишут именно это, но если вы прислушаетесь к совету в сносках к этому стиху и более раннему стиху, вы получите именно это.

[3] По модулю некоторых неявных кавычек и раскатываний, которые я не могу вывести.