Here it is in Prolog.
sameLength([], []). sameLength([X|XS], [Y|YS]) :- sameLength(XS,YS).