PROGRAMA:

EJEMPLO 1:

long([],0).
long([Z|Y],X):-long(Y,A0),X is A0+1.

EJEMPLO 1: