Prolog 物理机器中计算的声明模型

我最近一直在研究计算模型，我提出了一个问题

对于许多计算模型来说，似乎可以在物理机器上实现它们。有些实际上是基于物理实体的

例如，诸如自动机（FSM、PDA和图灵机）、Post机、RAM机等命令式计算模型就是如此。量子计算和生物计算也是如此

但是对于一些计算模型，我从来没有看到它们可以直接由物理机器实现的迹象。例如，计算的功能模型（Lambda演算）和计算的逻辑模型（一阶逻辑片段）。
然而，从理论上讲，这似乎是可能的。。。我们只需要在物理机器中模拟函数和beta减少。不过，对于逻辑商务部来说，这似乎更难

有人知道在物理机器上实现功能MoC和逻辑MoC吗

---

提前感谢

Prolog的标准是WAM。它是Warren Abstract的缩写 机器。它装置了一套指令和一张要编译的收据 这些指令的序言

但另外，我们也可以很容易地看到这些指令是如何实现的 可以在一个简单的注册机的机器代码中实现

实际上，有一些基于WAM的Prolog系统生成代码 对于真实的现有CPU。虽然WAM并不是唯一的解决方案 实现Prolog解释器：

建议阅读：

大卫·H·D·沃伦（1983年10月）。
一种抽象的Prolog指令集。
美国加利福尼亚州门罗公园：SRI国际人工智能中心

Hassan Aït-Kaci（1999年2月18日）。
沃伦的抽象机器：教程重构。
2003年2月13日从原件存档

您可以在此处找到工作链接：

---

再见

函数式和逻辑式编程语言在物理机器上的运行方式与当前的命令式编程语言非常相似。无论哪种方式，比如说RAM机器，都没有1对1的通信。乍一看，我不得不同意@false。在机器级别，功能和逻辑编程使用几乎相同的“原语”有效地运行。虽然，考虑到Prolog等语言的递归性质，它可能会受益于针对堆栈优化的体系结构（例如，旧的HP微型计算机）。我说的是真正深入底层。我认为所有的机器最终都会归结到逻辑门和内存（触发器）与时钟一起工作，这正是计算的必要模型。我说的是，是否有可能让一台机器（底层）直接实现功能和逻辑MoC，也就是说，至少没有触发器和内存，也没有逻辑门。