Describe the relation that this predicate defines in PROLOG

a(0,0):- !. a(X,Y):- V is X-1, a(V,Z), Y is Z + X

NB: Run the codes to see what the output results that will give a clue of what the predicate does. e,g ?:- a(5,Y). Output: Y=15.