arXiv 人工智能· Peter Flach, Kacper Sokol, Jan Wielemaker·· 3 小时前AI 评分19
Prolog 经典教材《Simply Logical》三十年演化历程
Simply Logical -- The First Three Decades
AI 导读
Prolog 经典教材《Simply Logical》在过去三十年间实现了从 1994 年附带 3.5 英寸软盘的纸质书，到如今完全交互式在线版本的技术演化。作者团队从教学理念、现代 Web 编程交互实现及底层创作工具集三大视角，系统探讨了网络技术对 Prolog 沉浸式教学形态与教育资源的赋能。
来源：arXiv 人工智能 · arxiv.org