long([],0). long([_|_Q], _X) :- long(_Q,_Y), _X is _Y + 1 .