私はPrologが初めてで、正しい方向に進むためにいくつかのガイダンス*（回答ではない）が必要です。まず、論理パズルを解こうとしています。ロジックにはトリプルがあります。次のような否定とメンバーを作成する方法を知っています。
member ([_, X, _], Triples ),
\+ member([_, X, Y], Triples).
私が立ち往生していて、Prologをよく理解していないのは、関係に基づいて(不等式を使用して)メンバーを比較する方法です。たとえば、X は Y よりも遅く食べられました。
Given an unknown "_" [_,X,_], I want to make sure [_,X,_] is greater than [_,Y,_].
だから私は試しました
([_,X,_], Triple) > ([_,Y,_], Triple),
しかし、それはうまくいかないようですか？
ご指導ありがとうございました！