我最近一直在研究计算模型，我想出了一个问题。
对于许多计算模型，似乎可以在物理机器中实现它们。实际上，一些实际上是基于物理实体。
例如，就像自动机（FSM，PDA和图灵机），后机，RAM机等计算机的命令模型一样。量子计算和生物计算也是如此。
但是对于某些计算模型，我从未见过可以通过物理机直接实现的迹象。例如，计算功能模型（Lambda Calculus）和Computaiton逻辑模型（一阶逻辑片段）。
然而，从理论上讲，似乎有可能......我们只需要在物理机器中模拟函数和beta减少。然而，对于Logic MoC来说，它似乎更难。
有没有人对物理机中的Functional MoC和Logic MoC的实现有所了解？
提前致谢
答案 0 :(得分：0)
Prolog的标准是WAM。它是Warren Abstract的首字母缩写 机。它设备一组指令和一个收据来编译 Prolog这些说明。
但另外，人们也可以很容易地看到这些说明是如何做到的 在简单的寄存器机器的机器代码中实现。
实际上，有一些基于WAM的Prolog系统可以生成代码 对于真正存在的CPU。虽然WAM不是唯一的方法 实施Prolog解释器：
推荐阅读：
David H. D. Warren（1983年10月）
抽象Prolog指令集。
美国加利福尼亚州门洛帕克：SRI国际人工智能中心。
HassanAït-Kaci（1999年2月18日） 沃伦的抽象机：教程重建 从原始版本2003-02-13归档。
您可以在此处找到工作链接：http://en.wikipedia.org/wiki/Warren_Abstract_Machine
再见