コメントで教えてもらって、PrologのコードをCurryのコードにどう変換すればいいのか大体分かった気がする。密かに出来なかった述語版append append :: [a]->[a]->[a]->Success append [] x y = (x=:=y) append (x:xs) y (z:zs) = (x=:=z) & (append xs y zs…

とりあえず、非決定性計算と論理変数って別になくてもいいんでないの?という疑問が。 非決定性を利用したコードとして、SICPにあるらしい次の問題をCurryで書いてみる。 Baker, Cooper, Fletcher, MillerとSmithは五階建てアパートの異なる階に住んでいる。B…

Prologで出来ることくらいCurryでも出来て欲しいよな〜というのは、まあ当然思うわけで、Prologのコード例を見ながら、Curryでは、どう書けばいいんだろうと暫く考えてみた。日本語WikipediaのPrologの項にあった、しょぼい例を適当に data Name = John | Ja…