- 682 名前：デフォルトの名無しさん mailto:sage [2009/12/31(木) 10:19:14 ]
- 右側は誤解を生じる表現だった。状態遷移後というべきか。
下の述語定義をして、right,leftそれぞれチェックする目標を立てればいいのではないかな。
legal(jealousy(FL1,ML1,FL2,ML2)) :-
legal(jealousy(FL1,ML1)),
legal(jealousy(FL2,ML2)).
legal(jealousy([],[])) :- !.
legal(jealousy(FL,[])) :- !.
legal(jealousy([],ML)) :- !.
legal(jealousy([A|R],ML)) :-
member(A,ML),
legal(jealousy(R,ML)).
