clojure-core.logic相关内容

在实践中,非关系对core.logic意味着什么?

当试图通过API文档理解core.logic时,我遇到了非关系目标和关系目标.我不知道这在实践中意味着什么,为什么要注释目标(无论它们是否相关)为何很重要. 您能否举例说明目标的使用方式,取决于它们是否相关? 解决方案 为了解释什么是非关系型,我们需要重新研究relational的含义. 如果在函数式编程中考虑纯函数,则它们总是返回一个值,并且对于相同的输入参数,将返回相同的输 ..
发布时间:2020-07-24 09:43:36 其他开发

Prolog匹配vs miniKanren统一

在Prolog-人工智能编程中,Bratko在第58页上说了以下内容. "Prolog中的匹配对应于逻辑上的统一.但是,我们避免使用统一一词,因为出于效率原因,在大多数Prolog系统中,匹配的实现方式并不完全对应于统一.需要所谓的发生检查:给定变量是否在给定条件下出现?发生检查会使匹配效率低下." 我的问题是,miniKanren中的统一会遭受这种效率损失还是如何解决? 解决方 ..
发布时间:2020-07-24 09:43:30 其他开发

核心逻辑有限域与-ve值

我不知道为什么当使用-5作为域值之一时下面的代码不返回任何结果 user => (run * [q](infd q(domain -5 5))(* fd q q 25)) () user => (run * [q](infd q(domain 0 5))(* fd qq 25)) (5) $ b b 注意:此代码指的是core.logic 0.8.0 beta版中的行为。 ..
发布时间:2016-11-27 21:22:59 其他开发语言