Mercury是一种纯逻辑编程语言，用于创建大型、快速、可靠的程序。Mercury的语法以...
代码的降临 "是一个针对各种技能组合和技能水平的小型编程难题的降临日历，可以用你喜欢的任何...
SNU编程工具的Mercury编程语言IDE子模块（2D模式）。
守则的降临2016--迟到的实践