There is the the member(), but is there members() predicate. Which accept two lists and checks/unifies if the elements in the one list are members of the other list ?
<
