On Lisp 非決定性

• vallog: syntax-rules: amb

On Lisp の非決定性の章がとてもわかりやすいです。以前写経した、syntax-rules 版の amb より、関数版の方がよくわかりました。

• On Lisp --- 非決定性

以下のコードは関数版の方です。取りあえず動かしてみました。


で、少し書き換えてみました。(Gauche)


その後、自分でも思いついたサンプルを書こうとしたのですが、思ったように動きません。。わかったようでわかっていないようです・・・。