实体
Prolog
Prolog
PulseAugur coverage of Prolog — every cluster mentioning Prolog across labs, papers, and developer communities, ranked by signal.
总计 · 30天
5
90 天内 5
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 5 条
-
人工智能证明生成被比作计算搜索方法
人工智能在生成数学证明中的应用正被比作传统的搜索算法。一种观点认为，这种由人工智能驱动的证明生成可以被视为一种计算搜索形式，这项技术在诸如Prolog等领域已经应用了几十年。这引发了关于人工智能是否代表一种根本性的新方法，还是数学中现有计算方法的演变的问题。
-
通过宝可梦类比解释 Prolog 编程语言
最近的一篇文章通过借鉴流行的宝可梦系列来探讨 Prolog 编程语言。文章认为，使用宝可梦中熟悉的で概念可以使学习 Prolog 更容易。该文强调了某些编程范式可以通过相关的类比更好地理解。
-
使用宝可梦角色实现的 Prolog 逻辑编程
一篇近期文章探讨了如何使用流行的游戏宝可梦来实现 Prolog 编程语言。这种创造性的方法通过一个熟悉且引人入胜的媒介，展示了 Prolog 的灵活性和基本原理。该项目展示了逻辑编程、游戏设计和教育技术的独特交集。
-
1985年AI的早期承诺激发了计算机科学的职业生涯
作者回顾了1985年第一次接触用Prolog编写的AI程序的经历。这种早期接触人工智能的经历激励他攻读计算机科学专业，尽管他后来没有继续从事AI领域的工作。如今已退休的他，观察到AI目前的复苏和流行，并指出时机在生活中的作用。
-
Dyna语言连接逻辑编程与机器学习研究
Dyna是一种专为机器学习研究人员设计的新型编程语言，旨在弥合数学概念与可执行代码之间的差距。它建立在Datalog和Prolog等逻辑编程范式的基础上，引入了灵活的执行顺序和加权规则等功能。这使得能够用最少的代码简洁地表达复杂的算法，包括矩阵乘法、斐波那契数列和神经网络。