What is Mercury written in?
It bootstraps via Prolog.
Mercury is a functional logic programming language, first released in 1995.
Implementation
| Layer | Written in | Notes |
|---|---|---|
| Bootstrap | Prolog (since 1995) | Mercury compiler initially written in Prolog, then self-hosted |
Bootstrap chain
Bootstrapping is the process of using a language's own compiler to compile a new version of itself. The very first compiler must be written in another language; once functional, that compiler can compile a self-hosted version. Mercury uses Prolog as part of its bootstrap chain.
See the guide on what is compiler bootstrapping for a walkthrough of how bootstrap chains work in practice.
Explore in the Graph
See Mercury's full lineage, including all implementation and influence relationships, in the interactive graph.
Open Interactive Graph →Or view the Mercury language page for the complete record.