dprolog:可废止的序言

时间:2021-07-01 20:53:33
【文件属性】:
文件名称:dprolog:可废止的序言
文件大小:20KB
文件格式:ZIP
更新时间:2021-07-01 20:53:33
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)

网友评论