# Mercury Programming Language

- Page: https://shared.btbytes.com/p/mercury
- Date: 2019-09-11
- Tags: programming-language

[Mercury language -- Home page](https://www.mercurylang.org/)

> Mercury combines (predicate) logic programming and one of the more rigorous
> type systems to give a programming language that is declarative, efficient
> and consistent.

- [Logical Types, LLC (Douglas Auclair)](http://logicaltypes.blogspot.com/p/about-logical-types-llc.html) uses the Mercury programming language to develop and deliver rule-based system to clients.

-- [Good explanation of Mercury syntax](https://news.ycombinator.com/item?id=19658204) by [Markus Triska](https://www.metalevel.at), a prolog programmer; Apr 2019.

- [Mercury Crash Course](https://mercury-in.space/crash.html), now also has [package index](https://mercury-in.space/packages/).