（[（X，_）| T]，X）的序言意义

Question

所以，我有以下短语

dX([(X,_)], X).
dX([(X,_)|T], X):- dX(T, R),
                X > R,
                !.

dX([_|T], R):- dX(T, R).

我得到第一个的意思，这意味着如果列表的第一项是X，则无论第二项如何都返回X否。但我很难理解最后两个。如果你知道他们的意思，请帮忙。