Tag: minikanren

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

当我想阅读逻辑编程时，我总是绊倒现在做的两种“主要”方式： miniKanren ，在The Reasoned Schemer中引入的一种微型语言 ，由于core.logic而受欢迎 。 Prolog ，第一个“大”的逻辑编程语言。 我现在感兴趣的是：两者之间的主要技术差异是什么？ 它们在方法和实现方面非常相似，还是采取完全不同的逻辑编程方法？ 他们来自哪些math分支，什么是理论基础？

conda，condi，conde，condu

我正在阅读Reasoned Schemer 。 我有一些关于conde如何工作的直觉。 然而，我无法findconde / condu / condu / condu做什么的正式定义。 我知道https://www.cs.indiana.edu/~webyrd/，但似乎有例子，而不是定义。 conde ， condu ， condu有什么正式的定义吗？