★ 1
论文回顾 Prolog 教材《Simply Logical》三十年交互化演进
论文梳理 Prolog 教材《Simply Logical——Intelligent Reasoning by Example》从 1994 年附 3.5 英寸软盘的纸质书，到多版在线版本，再到如今全交互在线版的演进历程。三位作者分别从原书理念与教学经验、现代 Web 编程实现、通用写作工具链三个…
arXiv cs.AI11 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文梳理 Prolog 教材《Simply Logical——Intelligent Reasoning by Example》从 1994 年附 3.5 英寸软盘的纸质书，到多版在线版本，再到如今全交互在线版的演进历程。三位作者分别从原书理念与教学经验、现代 Web 编程实现、通用写作工具链三个…