var_names function

Extract variable names from predicate names