lists:select/3

select(?Elem, ?List1, ?List2): Is true when List1, with Elem removed, results in List2. This implementation is determinsitic if the last element of List1 has been selected.