Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog