[afdbcreid]

Datalog is not used for borrow checking. It was used in old versions of the experimental next-gen borrow checker, Polonius. Current versions of Polonius (which is still experimental) are coded in Rust.

[saghm]

Oh interesting, I'm not sure why I misunderstood that. Thanks for the correction!