以下序言表达的含义？

Question

我无法找出以下Prolog表达式的含义：

 p(X-Y, [X-Y|R], R):- !.
 p(X, [H|Y], [H|Z]) :- p(X,Y,Z).