Mercury Programming Language

#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.