member/2 request goals and their expected Solutions: enumerating every element of a ground list via backtracking, and failing to unify against a list of non-matching structs.
member/2