- 437 名前：デフォルトの名無しさん mailto:sage [2009/07/22(水) 19:46:57 ]
- >>426
> %-- 制約２
> % 一番上にあるディスクよりも、小さいことを検査
「一番上に今置こうとするディスクXよりも、その下にあるディスクYがすべて小さいことを検査」
と、強引に変形してみると、心なしか
> con2(X,Y) :-X > Y,con2(X,[Y|_]).と最初作ってみたのですが
これに近くなる。なんていうエスパー解釈はダメでしょうか…
（Yを半ば集合的にとらえるところがミソ。[Y|_]がどこか投げやりであることにも符合）
