List Equalty:
Second Rule
lTwo lists are equal if they are both non-empty and
lthe first elements of each are the same, and
lthe lists of the rest of the elements of each are equal.

lequals([A | L], [A | M]) => equals(L, M);