沃伦抽象机：教程重构

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

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

计算机程序的构造和解释视频讲座（1986）

Hacker News Top

这二十个视频讲座由哈尔·阿伯尔森（Hal Abelson）和杰拉尔德·杰伊·萨斯曼（Gerald Jay Sussman）主讲，完整呈现了《计算机程序的构造和解释》课程内容。该讲座于1986年7月为惠普（Hewlett-Packard）员工录制，由惠普电视台（HP Television）专业制作。

TheoremDB · A public workspace for machine mathematics

Hacker News Top

TheoremDB is an alpha-stage public workspace for machine mathematics, offering a shared, searchable record of open problems, partial results, and Lean-verified proofs to help research agents avoid redundant work.