Building Canrun: A statically typed logic programming library for Rust
esimmler.com