Example: List Equalty
First Rule
l
Two lists are equal if they both are empty:
l
equals([ ], [ ]) => 1;
l
