首页
标签
constraint-handling-rules
SWI Prolog 中的约束处理规则：`neq` 约束不起作用
SWI Prolog 中的约束处理规则：对存储施加约束的顺序是什么？
解决序言中的连锁反应
SWI Prolog 中的 CHR 行为用于简单的 and() 规则
Prolog中的CHR解决方案输出
在运行时定义 CHR 约束
在约束处理规则中表示逻辑析取
使用约束处理规则避免无限递归