我是 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),
但它似乎不起作用？
谢谢指导！