eyeprolog

中文文档
1.6.44发布于 2026/11/03MITTypeScriptES Module零依赖构建来源已验证

EyeProlog将事实和规则转化为答案和证明。

运行依赖 0

没有声明运行依赖。

开发依赖 0

没有声明开发依赖。