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

domains
int=integer
intl=int*
 
predicates
search(intl,int,int)
task(intl,int)
 
clauses
search([X1,X2],M,R) :- R=X2-X1, R>M, !.
search([X1,X2],M,M) :- R=X2-X1, R<=M, !.
search([X1,X2|T],M,R) :- Z=X2-X1, Z>M, search([X2|T],Z,R).
search([X1,X2|T],M,R) :- Z=X2-X1, Z<=M, search([X2|T],M,R).
 
task([X1,X2|T],R) :- D=X2-X1, search([X2|T],D,R).