• miniKanren(logpy或其他)如何断言一个事实是真的?

    我正在练习以一些不同的习惯用法(例如Prolog,miniKanren,ASP等)编写一些逻辑代码,以使每个人都有自己的感觉。 我有一个关于基本问题的问题: 在Prolog中,您可以定义: human(bob). 然后在REPL中,您可以检查此事实和非事实的真实性: ?- human(bob). true. ?- human(e_t). false. In the python miniKanren, LogPy, you can similarly define the fact: from kan...
  • 康达,康迪,孔德,condu

    我正在阅读理性计划者。 I have some intuition about how conde works. However, I can't find a formal definition of what conde/conda/condu/condi do. 我知道https://www.cs.indiana.edu/~webyrd/,但这似乎是示例而不是定义。 Is there a formal definition of conde, conda, condi, condu somewhere...
  • 在逻辑编程方面,Prolog和miniKanren之间的主要技术区别是什么? [关闭]

    关闭。这个问题需要更加集中。它当前不接受答案。                                                                                                                                                                                                                                         ...
公告

《从零开始开发BBS》课程上线啦,快来跟着我一步步搭建属于你的BBS吧。

课程地址:https://www.shiyanlou.com/courses/1436
9折优惠邀请码: ZHwfIjb1

该课程会带领大家一步步的了解并熟悉Go语言开发,如果你是一个Go语言初学者,或者正准备学习Go语言,那么这个课程非常适合你。如果你熟练掌握了本课程中的知识点,相信你就已经入门Go语言开发,并能胜任日常的开发工作了。