This isn’t exactly Prolog, but Chalk [1] is a Prolog-inspired use case

[1] https://rust-lang.github.io/chalk/book/