声明式逻辑编程语言。它有关于Prolog和Haskell二者。它的特征是有强、静态、多态类型系统，和强的模态（mode）和确定性系统。官方实现是墨尔本Mercury编译器，可以在多数Unix和类Unix平台上获得到，包括Linux、macOS和Windows。
语法.
Hello World 程序.下面是"Hello World"main(!IO) :-