Я новичок в Прологе и мне нужны некоторые указания * (не ответы), чтобы идти в правильном направлении. Во-первых, я пытаюсь решить головоломку логики c. В логи есть тройки c. Я знаю, как создавать отрицания и элементы, подобные следующему:
member ([_, X, _], Triples ),
\+ member([_, X, Y], Triples).
Где я застрял и не совсем понимаю, Пролог - как сравнивать членов (используя неравенства) на основе их отношений. Например, X был съеден позже на неделе, чем Y.
Given an unknown "_" [_,X,_], I want to make sure [_,X,_] is greater than [_,Y,_].
Итак, я попробовал
([_,X,_], Triple) > ([_,Y,_], Triple),
Но, похоже, это не работает?
Спасибо за руководство!