Rule Matching
lConsider evaluating
lmember(5, [1, 2, 3]) ==> rule 3 is the first to apply
lmember(5, [2, 3]) ==>     rule 3 is the first to apply
lmember(5, [3]) ==>         rule 3 is the first to apply
lmember(5, []) ==>           rule 1 is the first to apply
l0