syntax-rules: amb

非決定性というやつです。よく分からないので、写経してみました。動き気持ち悪いですね。。どうなってるんですかこれ。。
確か、On Lisp や SICP (計算機プログラムの構造と解釈)にも出てくるらしいですね。

• http://people.csail.mit.edu/jhbrown/scheme/continuationslides04.pdf

わけわかめ。

• On Lisp --- 非決定性
• Amb and Search
• Scheme 入門 18. 非決定性

追記

• vallog: On Lisp 非決定性