语言
软件分类
本站收录了Mark Thom的1款Windows软件。最近更新：Scryer Prolog 0.9.3。 · github.com
主要用 Rust 编写的现代 Prolog 实现。
我们希望使用Google Analytics和Yandex Metrica了解网站的使用情况。只有在您同意后才会设置Cookie。 隐私政策
Scryer Prolog