arXiv cs.AI· Peter Flach, Kacper Sokol, Jan Wielemaker·· 12 小时前AI 评分15
Simply Logical 三十年：从 3.5 英寸软盘到全交互在线 Prolog 教材
Simply Logical -- The First Three Decades
AI 导读
Prolog 教材《Simply Logical -- Intelligent Reasoning by Example》走过三十年，从 1994 年附 3.5 英寸软盘可运行程序的印刷版，演变为如今完全交互的在线版本。
正文 · AI 翻译
摘要：本文梳理了 Prolog 教材《Simply Logical -- Intelligent Reasoning by Example》的演变历程：从 1994 年出版的纸质版（附 3.5 英寸软盘上的可运行程序），历经各种中间在线版本，直至今日可用的完全交互式在线版。我们的目标是从作者和读者两个视角出发，考察技术对教育材料的潜在影响。本文的三位作者提出了三种不同且互补的观点，它们共同塑造了一本提供沉浸式学习体验的交互式在线书籍。Peter 描述了原书背后的理念以及使用该书进行教学的经验。Jan 展示了当代 Web 编程如何使该书理念得以完全交互式地实现。Kacper 报告了如何采用不同技术构建一个多功能的创作工具包，为本书的交互式在线版提供支撑。汇集这些不同却又连贯的视角，使我们能够反思 Web 技术的持续发展所带来的交互式 Prolog 教学材料的未来机遇。我们提供的见解应当会引起 Prolog 教师以及希望了解最新教育技术的人士的兴趣。
| 评论： | 发表于《Prolog: The Next 50 Years》 |
| 主题： | 人工智能（cs.AI）；计算机科学中的逻辑（cs.LO） |
| 引用为： | arXiv:2610.28912 [cs.AI] |
| （或 arXiv:2610.28912v1 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.28912 arXiv 颁发的 DOI，经由 DataCite（待注册） |
|
| 相关 DOI： | https://doi.org/10.1007/978-3-031-35254-6_15
链接到相关资源的 DOI |
提交历史
来自：Kacper Sokol [查看电子邮件]
[v1]
2026 年 10 月 20 日星期二 20:48:45 UTC（908 KB）
来源：arXiv cs.AI · arxiv.org