标签：谓词搜索

一个提供Prolog执行、查询和谓词搜索功能的MCP工具。