ここは全く予備知識の無い分野。Prologへの布石の様に思える。 ノート 非決定論的コンピューティング？ 評価器に「automatic search」を組み込む。遅延評価よりも言語に対して大きな変更となる。非決定論的コンピューティングは『生成してテストする』タイプ…

ノート 遅延リストとしてのストリーム。3.5.1節で導入したストリームはdelay、cons-streamと言う構文を使ってストリームを作ったため、ストリームには普通のリスト用の手続きは使えず、ストリーム用の手続きを使う必要があった。 遅延評価のシステムではこれ…