Prolog

ストリームを使ったアパート問題

これでいいのかな? ストリームを使ったアパート問題のプログラムは以下のようになった.リスト版の決定性計算版よりはるかに遅いので,てっきり間違っていると考えたが,solveからはすぐに戻っているところをみると,動いているのかな?しかし,全解探索す…

非決定性計算ならPrologで

問題とRubyおよびHaskellのプログラム 何かを探していて偶然面白い問題を見つけた. Baker, Cooper, Fletcher, MillerとSmithは五階建てアパートの異なる階に住んでいる。Bakerは最上階に住むのではない。Cooperは最下階に住むのではない。Fletcherは最上階…