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