unification
-
统一算法实际上是如何工作的？
-
Prolog中的统一算法可以无限递归吗？
-
为什么我只能在类型参数位置传递部分应用的类型构造函数？
-
Prolog - 复杂术语的统一
-
如何在 CPS 中构造更高级别的 Coyoneda 类型的值？
-
Swi-Prolog 中的 \= 是什么
-
Prolog - 如何 return 每个元素只出现一次的列表？
-
如何为脱离其范围的严格类型变量重现 GHC 的类型错误？
-
更高级别类型的实例化和包含在统一期间如何交互？
-
嵌套通用量词的范围是如何确定的（更高级别的类型）？
-
通过替换统一具有不同arity的涂抹器
-
广义 HM 与高阶统一
-
最通用的统一器 (Prolog)
-
现代 Prolog 编译器是否会在安全时自动优化发生检查？
-
Prolog 如何得出诸如 3 < 2 之类的无意义结果？
-
扩展统一，SICStus 风格
-
更改参数顺序时 Prolog 统一中断
-
阿格达：`.(` 是什么意思？
-
模式匹配情况下的统一
-
为什么这个 function/constructor 参数变成了一个自由隐式变量？