回答情况：
提问时间：
问题标签：
我从“推理模式-第二版”这本书和DrRacket模式环境开始学习miniKanren。我安装了"faster-minikanren“包，但本书的第一个使用命令run*的示例(例如，(run* q #f))会产生诸如run*: bad syntax in: (run* q #f)之类的错误消息这是否意味着"faster- minikanren“套餐没有提供正确的minikanren定义？还是我犯了个错误？
浏览 7修改于2020-02-27得票数 8
在miniKanren中，succeed可以定义为(define succeed (== #t #t))，fail可以定义为(define fail (=== #t #f))。(define #s succeed)在球拍中产生一个错误：> (require Racket-miniKanren/miniKanren/mk)
>
浏览 1修改于2021-01-28得票数 5
最近，我一直在研究像Neo4j这样的图形数据库，以及Prolog和miniKanren中的逻辑编程。从我到目前为止所了解到的，两者都允许指定事实和它们之间的关系，也允许查询结果系统中的一些选择。除了数据库可能会提出一种更加时空有效的存储技术之外，除了miniKanren这样的小逻辑核更简单和可嵌入之外，如果它们都只是一个图形数据库+查询API，那么图形数据库和逻辑编程语言之间的实际区别是什么呢
浏览 8修改于2015-03-22得票数 30
回答已采纳
我一直在玩miniKanren，试图通过将非常基本的Prolog教程转换成它来理解它。我错过了吗？或者这实际上不是MiniKanren a la“推理的阴谋家”的一个特性？是否有其他MiniKanren实现具有类似的东西？还是完全不同的方法？
浏览 7修改于2022-09-12得票数 4
回答已采纳
我正在尝试为miniKanren (1)编写一个处理向量的membero等价物。到目前为止，我找不到一种不需要观察值是逻辑变量还是部分实例化的方法。有什么建议吗？
浏览 3修改于2019-09-22得票数 1
我正在做一个练习，用几个不同的习语写一些逻辑代码.miniKanren，ASP等.对每个人都有感觉。在Prolog中，您可以定义：from kanren import fact
我找不到一个简单地检查“鲍勃是人”的真理的方法
浏览 4提问于2019-11-30得票数 0
回答已采纳
这是我关于堆栈溢出的第一个问题。问题：A = {1, 2, 3, 4}B = {1, 2}D = {2, 3, 4}“与我们所知道的其他组相比，找出与A组共享成员最多的组。”问题1：问题2：
如果可以的话，您将如何在Clojure的co
浏览 2修改于2020-06-20得票数 3
回答已采纳
我使用minikanren库进行球拍，但我想使用"disj“和"conj”运算符。
浏览 17提问于2021-03-05得票数 2
回答已采纳
如何表示n变量接受与一组n值不同的值的约束？(op1 a (op2 b c))我可以看到如何使a从1 2 3中获得一个值(例如通过使用conde )。b和c也是如此。但我如何排除平等呢？我是否需要循环所有组合并显式地排除它们？将其概括为某些值可能出现一定次数的情况似乎
浏览 3修改于2012-08-04得票数 1
回答已采纳
我最感兴趣的是测试用例是否可以在tarai的一些miniKanren代码的完全声明版本上运行。可选地，我会对反向运行一些测试用例感兴趣。 我有点不知所措。我设法安装了guile，这是一个方案变体，并且可以成功地运行miniKanren测试用例。但是miniKanren没有整数，那么能做什么呢？
浏览 51修改于2019-04-15得票数 1
我目前正在通过学习推理图谋来学习miniKanren。
我被困在第5章第62帧的练习中：(run* (x) (flatten_o (a) x))，为什么输出中有三个列表？
浏览 4修改于2020-02-27得票数 2
问题是1我在球拍中的迷你kanren装置这里是listo的定义和它使用的一切，除了在minikanren库中定义的东西或在Racket的序曲中定义的东西。
浏览 2修改于2018-11-17得票数 1
3回答
例如，在core.logic/miniKanren的语法中： (== {:foo 1 :bar 2} (partial-map :foo q)))
这将返回一个结果，其中q被绑定到
浏览 6修改于2012-10-10得票数 14
回答已采纳
(球拍设置中我的miniKanren的详细信息出现在bottom1上。) (== (list w (list x y) z)1正如所描述的，我运行了raco pkg install minikanren
浏览 1修改于2018-11-16得票数 1
回答已采纳
编辑1:我正在尝试在Julia中实现，即MiniKanren。在我所基于的Clojure实现中，代码是这样的。
浏览 0修改于2018-11-24得票数 1
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号