如何解决一阶喇叭规则等价
如何检查两个一阶 Horn 子句在语义上是否等价？我们可以强加一个假设：规则中的谓词是原子，其中参数项是变量或常量。
例如，在下面，规则（1）和（2）是等价的，但（3）既不等价于（1）也不等价于（2）：
(1) h(X,Y) :- p(X,Y)
(2) h(Y,X) :- p(Y,X)
(3) h(X,c)
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
