Mercury

Mercury是一种纯逻辑编程语言，用于创建大型、快速、可靠的程序。Mercury的语法以Prolog的语法为基础，但由于Mercury的纯洁性，其类型、模式、确定性和模块系统，这两种语言在语义上有很大的不同。