2
在逻辑编程方面，Prolog和miniKanren之间的主要技术区别是什么？[关闭]
已关闭。这个问题需要更加集中。它当前不接受答案。 想改善这个问题吗？更新问题，使其仅通过编辑此帖子来关注一个问题。 3年前关闭。 改善这个问题 当我想阅读逻辑编程时，时下我总是会遇到两种“主要”方法： miniKanren，在The Reasoned Schemer中引入的一种迷你语言，由于core.logic的缘故，目前很受欢迎。 Prolog，第一种“大”逻辑编程语言。 我现在感兴趣的是：两者之间的主要技术区别是什么？它们在方法和实现上是否非常相似，还是对逻辑编程采用完全不同的方法？它们来自哪些数学分支，其理论基础是什么？