PrologMCP: A Standardized Prolog Tool Interface for LLM Agents | AIChainDay