pub fn undefined_calls(
clauses: &[Clause],
directives: &ProgramDirectives,
interner: &StringInterner,
) -> Vec<Undefined>Expand description
Collect every (caller, callee) where a clause body directly calls a
predicate that is defined nowhere. Deduplicated and deterministically
ordered. clauses/directives must be the FULL compilation unit
(stdlib included) so stdlib calls are not flagged.