Mercury Programming Language

Created: by Pradeep Gowda Updated: Sep 11, 2019 Tagged: programming-language

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.