A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler - View it on GitHub