1
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents
教大模型学会用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…