Prologでまったり Part4

Prologでまったり Part4 at TECH

427:デフォルトの名無しさん
09/07/22 08:25:39
突っ込みどころに目移りしますが、とりあえず…
>>426
> con2(X,Y) :-X > Y,con2(X,[Y|_]).と最初作ってみたのですが

その定義では
?- con2(1, [2,3]).
としたとき、1 > [2,3] という（規格上は）意味のない目標が実行されますよね。
Yとしてリスト（のみ）が与えられることを意識していないように見えます。

そもそも「一番上にあるディスクよりも、小さいことを検査」するのに、
なぜ再帰的定義を使おうと思ったのでしょうか。

次ページ

続きを表示

1を表示