Module meta_normalize 

Safe meta-predicate normalization for the language-completeness surface.

Functions

normalize_meta_builtins

Normalize safe meta-predicates into finite helper relations.