prolog-mcpumuroFlicenseAqualityDmaintenanceMCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically. Updated 3 months ago (2026-06-17 13:38 UTC)77-