Rust Logic Programming