The Mercury logic programming system

**Brief Summary (2‑3 sentences)** The Mercury logic programming system is an open‑source implementation of the Mercury language, offering a pure‑logic, declarat