mthom

一个主要使用 Rust 编写的现代 Prolog 实现。