[태그:] PrologMCP

LLM의 연역 추론 한계를 극복하기 위해 프롤로그 추론기를 MCP로 연결하는 오픈소스 서버 PrologMCP가 arXiv에 공개됐다. 어려운 추론 벤치마크에서 추론 특화 ...