文件名称：dprolog:可废止的序言
文件大小：20KB
文件格式：ZIP
更新时间：2024-07-21 14:40:13
JavaScript
程序日志 可废止的序言 prolog 的扩展，它允许用信念（包括 0 和 1 之间的实数）标记规则并给定标签，以便可以生成带有附加信念的证明，并且可以对规则进行争论。 基于 Gerard Vreeswijk 的 Argumentation System 的参数生成部分，请参见 请注意 simple.coffee 和 prolog.coffee 展示了 dprolog.coffee 基础的极简 prolog 引擎的开发。 还要感谢 jsprolog.js 和 tiny-prolog.js（参见 /etc），它们也为开发提供了信息。 去做： 解析器处理的注释 复制代码 数字内置 字符串/列表 其他内置谓词
【文件预览】：
dprolog-master
----src()
--------prolog.coffee(7KB)
--------dprolog.coffee(8KB)
--------simple.coffee(5KB)
----etc()
--------jsprolog.js(25KB)
--------tiny-prolog.js(6KB)
--------test.html(136B)
----LICENSE(1KB)
----test()
--------prolog.coffee(2KB)
--------dprolog.coffee(2KB)
--------simple.coffee(2KB)
----README.md(714B)
----.gitignore(32B)
----package.json(476B)