Length Of List Prolog, member (Element, List) succeeds if Element belongs to the List.