当前分类：unification

data-structures - Prolog 中的自定义数据结构语法

pattern-matching - 从 case 语句证明两个值相等

regex - 人工智能匹配，统一

artificial-intelligence - 统一的应用？

programming-languages - 基于列表的树的统一算法

haskell - 如何查询统一类型到ghci？

haskell - 需要 MonadPlus (ST a) 实例

序言统一决议

list - 正确使用 Prolog 中的集合

haskell - 使用 Data.Comp.Unification 在 Haskell 中找到最通用的统一器(初学者问题)

prolog - 在沃伦的抽象机器中，如果参数之一是寄存器，绑定(bind)如何工作？

list - 在Prolog中不统一删除列表的所有成员

list - is_list/1 和自由变量

prolog - 为什么 SWI-Prolog 将带引号和不带引号的字符串(不带空格)统一为同一规则？

haskell - 导出 ((.) foldr) 的类型

haskell - 不能从 f x = f₁ y 推导出 f = f₁？

variables - GHC 拒绝 ST monad 代码无法统一类型​​变量？

haskell - `coerce` 和类型变量的实例化

computer-science - 一阶逻辑中统一的真实世界示例？

pattern-matching - `case` 细化参数

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们