pub static META_PREDICATES: PredicateModule
Built-in meta-predicates: not/1 (negation as failure).
not/1