Module logging 

Verbose logging helpers for the Datalog fixed-point computation.

These functions emit structured progress information when the user enables verbose output, making it easy to trace rule firings and convergence behavior.

Functions

log_datalog_start 🔒

Emits an initial summary of inputs before rule evaluation starts.

log_final_results 🔒

Emits final dirty object/cluster/schema sets after convergence.

log_iteration 🔒

Emits per-iteration progress for dirty set growth.