Here it is in Prolog.

  sameLength([], []).
  sameLength([X|XS], [Y|YS]) :- sameLength(XS,YS).