Prologでまったり Part4

Prologでまったり Part4 at TECH

680:デフォルトの名無しさん
09/12/31 09:54:59
>>679
何が疑問なのかよくわからないのだけど、右側だけだと、

legal(jealousy(_,_,_,[],[])) :- !.
legal(jealousy(_,_,_,FL,[])) :- !.
legal(jealousy(_,_,_,[],ML)) :- !.
legal(jealousy(_,_,_,FL,ML)) :- member(A,FL),member(A,ML).

で良さそうだけど。

次ページ

続きを表示

1を表示