TY  - RPRT
TI  - Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog
AU  - Bartolomeo Bogliolo
PY  - 2026
UR  - https://arxiv.org/abs/2607.21412
ID  - 2607.21412
ER  -