Did you know ... Search Documentation:
Predicate list_is_free_of/2
 list_is_free_of(+List, +Var) is semidet[private]
True if Var is not in List.