An easily embeddable, futures-friendly logic engine.
语言:Rust · GitHub 星标:9 · Fork:0
话题:logic-programming · rust
在 GitHub 上查看原仓库