Mercury is a functional logic programming language.
The objective of Mercury is to deliver efficiency in excess of existing logic programming systems, and to enable large-scale program development (supporting modularity, separate compilation, and optimizations).
The development of Mercury appears to have begun in the early 1990s.
As of 2022 the development of Mercury is active, with multiple releases a year.
Official website, including papers and presentations
A very helpful Wikipedia page.