Function log_datalog_start 

pub(super) fn log_datalog_start(
    changed_stmts: &BTreeSet<ObjectId>,
    base_facts: &BaseFacts,
)

Emits an initial summary of inputs before rule evaluation starts.