mthom/scryer-prolog
@mthom一个主要使用 Rust 编写的现代 Prolog 实现。
星数
2,448
Fork 数
167
语言
Rust
许可
BSD-3-Clause
最后推送
3周前
相关情报(0)
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
一个主要使用 Rust 编写的现代 Prolog 实现。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。