minikanren

minikanren

文章 0 浏览 4

为什么miniKanren的名字总是以“o”结尾?

所有迷你看人关系都以字母o结尾。这样做的动机是什么? 我看到 Clojure core.logic 库也执行此操作。…

柠檬色的秋千 2025-01-02 13:27:43 1 0

如何模拟“外连接”在核心逻辑中?

我刚刚开始使用 core.logic,为了解决它,我试图实现一些简单的东西,类似于我目前正在专业处理的问题。然而,问题的一部分让我难住了...... 作为我的…

池予 2024-12-23 17:10:32 1 0

mini-kanren cond-a cond-u 和 cond-e 有什么区别?

我尝试在 clojure 中使用 mini-kanren 的实现。但一直在努力理解 cond-a cond-u 和 cond-e 之间的区别。我似乎对 cond-e 很清楚,但对 cond-a 和 cond…

热血少△年 2024-09-30 17:41:40 10 0

逻辑编程的最佳用途是什么?

我所说的逻辑编程是指声明性编程语言的子范式。 不要把这个问题和“用if-then-else能解决什么问题?”搞混了 像Prolog这样的语言很迷人,为了学而值得…

若言繁花未落 2024-07-06 18:11:18 11 0
更多

推荐作者

Promise

文章 0 评论 0

qq_lbRlsh

文章 0 评论 0

待"谢繁草

文章 0 评论 0

yy2010hell

文章 0 评论 0

漫无边际

文章 0 评论 0

傲娇萝莉攻

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文