- 684 名前：デフォルトの名無しさん mailto:sage [2009/12/31(木) 22:44:01 ]
- >>683
% legal(jealousy(left,[[2,3],[2,3]], [[1],[1]])
?- legal(jealousy([2,3],[2,3],[1],[1])).
yes
?- となりませんか。それから>>682の定義は5節とも述語legal/1であり、
好ましくない定義でした。第一節とそれ以降の節とは構造が異なりますから、
事実上別の述語とも見なせますが。
英語がよくわからなかったのでw そのまま使ったのですが、述語定義の引数は
できるだけフラットなものにしたい。構造体はリストのレベルまでですね。
フレームなどは例外中の例外。
