跳到正文
arXiv cs.AI· Peter Flach, Kacper Sokol, Jan Wielemaker·· 2 小时前AI 评分18

Simply Logical:Prolog 教材三十年的演进之路

Simply Logical -- The First Three Decades

AI 导读

三位作者回顾 Prolog 教材《Simply Logical -- Intelligent Reasoning by Example》从 1994 年带 3.5 英寸软盘的纸质版,到如今完全交互式在线版的演变历程。Peter 阐述原书哲学与教学经验,Jan 演示如何用现代 Web 编程实现交互式呈现,Kacper 介绍支撑在线版的通用写作工具包。文章从作者与读者双视角探讨技术对教育材料的影响。

来源:arXiv cs.AI · arxiv.org