Modern Prolog Implemented in Rust | Hacker News