用大模型复活小众编程语言，缺包就让AI现造，社区焕发新机。
I've seen a few discussions over the years about how niche languages like Lisp, Forth, Prolog, etc. would be great to use, but even for personal proje…
用Claude大模型自动求解经典Prolog问题集，展示LLM在编程任务中的实际能力
arXiv:2607.21196v1 Announce Type: cross Abstract: Ninety-Nine Prolog Problems (P-99) is a famous set of Prolog exercises. We solved the first thirty t…
教大模型用Prolog做逻辑推理，提升复杂任务准确率，AI工具融合新思路。
arXiv:2512.07407v3 Announce Type: replace Abstract: Language models frequently produce plausible yet incorrect reasoning traces that are difficult to …
教大模型学会用Prolog：标准化接口让LLM Agent轻松调用逻辑编程工具。
arXiv:2606.14935v1 Announce Type: new Abstract: Frontier reasoning-tuned language models still fail on deductive tasks at depth, and the cost of impro…