沃伦抽象机：教程重构

Lobsters Hottest 工具
prolog warren-abstract-machine tutorial book open-access compiler logic-programming

摘要

该仓库提供Hassan Ait-Kaci的著作《沃伦抽象机：教程重构》的电子版，这是一本已绝版的关于Prolog编译所用的沃伦抽象机的教程，现已免费提供非商业使用。

<p><a href="https://lobste.rs/s/y6a6cg/warren_s_abstract_machine_tutorial">评论</a></p>
查看原文
查看缓存全文

缓存时间: 2026/06/05 05:05

a-yiorgos/wambook

来源：https://github.com/a-yiorgos/wambook

wambook

Hassan Ait-Kaci 所著的《Warren’s Abstract Machine: A Tutorial Reconstruction》

http://wambook.sf.net

《Warren’s Abstract Machine: A Tutorial Reconstruction》一书由 Hassan Ait-Kaci 撰写。该书详细阐述了沃伦抽象机（Warren Abstract Machine），现已绝版。作者保留版权，并曾一度在 http://vanx.org/archive/wam/wam.html 上免费提供，供任何非商业用途的用户使用。

vanx.org 目前似乎是一个被停放的域名，因此我为任何对本书电子版感兴趣的人搭建了这个页面。

相似文章

逻辑程序的抽象机

Lobsters Hottest

本文探讨了使用抽象栈机器实现逻辑程序的方法，详细说明了推理规则（如加法）的不同模式分配如何转换为状态机转换以进行计算。

ATLAS: 大规模自动形式化教科书库

Hacker News Top

ATLAS是一个大规模的Lean 4教科书数学库，由LLM自动形式化，涵盖26本书籍，超过46,000个声明。它为人机形式化提供了可重用的形式化构建块。