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) uses the Mercury programming language to develop and deliver rule-based system to clients.
-- Good explanation of Mercury syntax by Markus Triska, a prolog programmer; Apr 2019.
- Mercury Crash Course, now also has package index.