Mercury Programming Language

Updated: Sep 11, 2019 by Pradeep Gowda.

Mercury language – Home page

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

Good explanation of Mercury syntax by Markus Triska, a prolog programmer; Apr 2019.