Las facilidades metalógicas de Gödel dan cabida a metaprogramas que realizan análisis, transformación, compilación, verificación y puesta a punto, entre muchas otras tareas.