在逻辑编程方面，Prolog和miniKanren之间的主要技术差异是什么？

Question

当我想阅读逻辑编程时，我总是偶然发现两个＆＃34; main＆＃34;现在如何做到这一点：

• miniKanren ，The Reasoned Schemer中引入的一种小语言，由于core.logic而受欢迎。
• Prolog ，第一个＆＃34;大＆＃34;逻辑编程语言。

我现在感兴趣的是：两者之间的主要技术差异是什么？它们在方法和实现方面是非常相似的，还是采用完全不同的逻辑编程方法？他们来自哪些数学分支，以及理论基础是什么？

Answer 1

暂定答案：

AFAIK，＆＃34; The Reasoned Schemer＆＃34;以Scheme-y语法和函数式编程风格引入基本逻辑编程，特别添加了常量目标＆＃34;＃u＆＃34; （失败）和＆＃34;＃s＆＃34; （suceeed）到布尔值＆＃34; #t＆＃34;和＆＃34;＃f＆＃34;。它使用与Prolog：统一和回溯搜索相同的逻辑编程方法。我会看看周末是否有时间从架子上取回那本书。数学分支是限制形式的一阶逻辑，在这种情况下是Horn条款，以及Resolution Unfication。请参阅：John Alan Robinson的Computational Logic: Memories of the Past and Challenges for the Future和Robert Kowalski的The early years of logic programming冷启动。