Logic-LM (Answer Set Programming) — MCP server | explainx.ai | explainx.ai