09/12/31 04:05:03
ｽﾚﾘﾝｸ(tech板:679番)
# [授業単元] : Prolog
# 知恵を貸してください。
# 今宿題で嫉妬深い恋人たちの問題をやっていて
# 初期状態とゴール状態をそれぞれ
# initial_state(jealousy, jealousy(left,[1,2,3],[1,2,3],[ ],[ ])).
# final_state(jealousy(right,[ ],[ ],[1,2,3],[1,2,3])).
# と作って指し手の移動と状態変化についてはかけたのですが
# 状態変化したときの合法性のチェックでつまっています。
# legal(jealousy(right,[[1],[1,2]], [[2,3],[3]]) ×
# legal(jealousy(left,[[2,3],[2,3]], [[1],[1]]) ○
# としたいのですがどうしたらいいのでしょうか？