Найти максимальную разницу с соседним элементами - Prolog

domains
int=integer
intl=int*
 
predicates
max_diff(intl,int,int)
task(intl,int)
 
clauses
max_diff([H1,H2],Q,M) :- M=abs(H1-H2), M>Q.
max_diff([H1,H2],Q,Q) :- M=abs(H1-H2), M<=Q.
max_diff([H1,H2|T],M,R) :- Q=abs(H1-H2), Q>M, max_diff([H2|T],Q,R).
max_diff([H1,H2|T],M,R) :- Q=abs(H1-H2), Q<=M, max_diff([H2|T],M,R).
 
task([X1,X2|T],R) :- Z=abs(X1-X2), max_diff([X1,X2|T],Z,R).