unification
-
使用系统谓词定义一个规则 happened_before(X,Y) 定义事件 X 发生在事件 Y 之前的关系
-
Prolog：为什么这个谓词找到答案但忽略它并继续与 [] 统一？
-
为什么 agda with-abstraction 不删除某些子句？
-
Auto implicit 没有解决，即使它应该是封闭条件下的直接函数应用
-
从表达式转换为图形 (DAG) 表示的算法
-
Haskell 中的打印机用于 Data.Comp.Variables 中的 Subst
-
使用 Data.Comp.Unification 在 Haskell 中找到最通用的统一器（初学者问题）
-
我的 Datanova Data Unifier 模型映射抛出 "Rule parsing error. Span expected '(' at )"
-
如何从使类型别名更具体的联合类型中解包泛型类型别名？
-
为什么这个表达式不统一
-
Prolog - 用英语解释跟踪步骤
-
Prolog - 统一两个列表 with/without 变量
-
复合镜头不能让绑定吗？
-
派生文件夹类型（!!）
-
如何与 Elm 中的多态 child 组件通信？
-
SLD 解析树，哪个谓词适用于给出第一个 re-solvent
-
在 Python 中实现 Prolog 统一算法？回溯
-
fix 只能用非严格评估的语言输入吗？
-
实施统一和跳过变量
-
Coq：测试部分可转换性