如何解决在 clingo 中的规则主体中的分离
我认为这是基本的，但是您如何在 clingo 中将文字与规则主体进行分离？我试过了
p3 :- p1 ; p2. 但它不起作用，它假设了
p3 :- p1,p2.
谢谢。
解决方法
正文中的析取只是“隐式”。 这意味着您可以通过使用两个规则来实现这一点：
p3 :- p1.
p3 :- p2.
或者使用一阶变量
p(3) :- p(1..2).
或
dom(1..2).
p(3) :- p(X),dom(X).
所有三个版本都基于同一组规则
p(3):-p(2).
p(3):-p(1).
（如果 p(1) 和 p(2) 实际上是可派生的）
您可以通过添加行来检查这一点
{p(X) : dom(X)}.
并使用 clingo --text。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
