Υǥ쥯ȥκ
#  
#  κƵŪ
#  

(_) :-
        _ = [_,_|_],
        (_,_).

([_],_).
([A,B|R],_) :-
        _ is B - A,
        ([B|R],_).