加载失败
讨论源自一篇将 Prolog 编译到 Forth 的老论文/报告（约1987年），评论补充了现代复现仓库和一本 1986 年的书《Designing and Programming Personal Expert Systems》，后者示范在 Forth 上先实现 Lisp 再实现 Prolog 并构建专家系统的完整路径。评论假设读者对 Forth（一个栈式低级语言）和 Prolog（基于规则的逻辑语言）有基本了解，并把话题延伸到实现技术——尤其 WAM（Warren Abstract Machine，一种 Prolog 抽象机器）与 threaded code（线索化代码）的实现细节。讨论还涉及历史生态（如 FIG，Forth Interest Group 在1980s提供的免费实现）以及现代实践案例，包括在 NES（任天堂娱乐系统）上实现 Forth、PPU（NES 图形单元）相关的图形问题和用 GDB 调试 JONESFORTH 的视频。总体背景是把语言实现、历史可行性和现代复现/教学结合起来审视“把 Prolog 放到 Forth 上”的可行性与技术挑战。
评论普遍对这类1987年前后的工作表示惊叹，强调论文和实现是在互联网普及、AI 热潮前完成的，体现出大量的思想投入和动手能力。有人指出存在现代复现仓库（prolog-in-forth），并引用1986年书籍《Designing and Programming Personal Expert Systems》，书中示范了在Forth上先实现Lisp、再实现Prolog、最后构建专家系统的分层做法。另一条评论补充说1980年代得益于 FIG（Forth Interest Group）提供的免费实现，才使得在各个平台上用Forth构建语言成为可行路径。总体语气是对早期工具链与社区生态的敬佩以及庆幸现代开发者能建立在这些基础上继续工作。
多位评论强调 Forth 会改变程序员的思维方式：它既能在低层操作，又方便把低层代码“抬升”为高层抽象，适合做语言实验和嵌入式实现。有人分享了在 NES（任天堂娱乐系统）上实现 Forth 的实践经历，描述虽然 PPU（NES 的图形处理单元）细节尚未完全掌握会导致图形异常，但总体性能和实现速度令人惊讶。另有用户贴出关于 JONESFORTH 使用 GDB 调试的录像，说明社区仍在通过动手调试来探索 Forth 的内部工作原理。评论普遍建议把 Forth 作为一门值得学习的技能，因为它能帮助理解底层运行与语言设计权衡。
讨论进入实现层面，指出将 Prolog 编译到 Warren Abstract Machine（WAM）通常会形成一种 threaded interpreter（线索化解释器）风格的实现。回复澄清了 threaded code 与操作系统层面的多线程不同，并列举了 WAM 依赖的单线程假设（如栈帧释放、回滚与清理语义），这些假设在尝试并行化时会导致语义和实现复杂度激增。评论提出了若干并行化思路——如用 Unix 的 fork 与 COW（写时复制）、用 IO monad 管理副作用或对动态谓词做纯度标注——但同时警告 cut（剪枝）等 Prolog 语义会导致已执行分支需要被回撤，额外的同步/回滚开销可能抵消并行带来的收益。还提到编译器优化（例如 =/2 内联与 peephole optimization）会把某些子句变为复杂的模式匹配与 unification 指令，进一步增加实现复杂性。
Forth: Forth（一个栈式、交互式的低级编程语言/环境），常用于嵌入式系统和作为构建更高级语言运行时的底层平台，强调词（words）和即时编译/解释。
Prolog: Prolog（一种基于规则与逻辑推理的编程语言），擅长表达关系与搜索/回溯式推理，常用于专家系统与符号AI。
Warren Abstract Machine (WAM): WAM：一种用于高效实现 Prolog 的抽象机器模型，定义了一组低级指令和数据布局以支持快速的 unification、回溯与谓词调用。
threaded code / threaded interpreter: threaded code（线索化代码）是一种把程序表示为指向小段代码地址序列的实现技术，用以降低调用开销并简化解释器结构，与操作系统的多线程概念不同。
expert system: 专家系统（expert system）：基于规则库和推理引擎的系统，使用类似 Prolog 的规则表示和回溯推理来模拟领域专家的决策过程。