Module meta_normalize 

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

Functions

normalize_meta_builtins

Normalize safe meta-predicates into finite helper relations.

normalize_meta_builtins_owned

normalize_meta_builtins taking the program by value.