在asp/clingo中使用python脚本作为谓词的基础

Question

我使用的是clingo版本4，希望能够通过python脚本建立关系(请不要问为什么，这不是犯罪，因为你至少可以建立1元关系)。我希望这是可能的，并需要一些帮助。

#script (python)
import gringo;
def main(prg):
    prg.ground([('base', [])]);
    # ... compute somethings ...
    prg.ground([('myrel', [[10,20],[30,40],[70,40]])]);
    prg.solve();
#end.

#program myrel(x,y).
r(x,y).

#show r/2.

这不管用。有人知道怎么做吗？我尝试了[(10,20),(30,40),(70,40)]，但同样不起作用。

Answer 1

这是可能的，但必须一个接一个地输入每个条目(对于我的应用程序来说，这实际上是很好的)。而不是

prg.ground([('myrel', [[10,20],[30,40],[70,40]])]);

一个人必须写下

prg.ground([('myrel', [10,20])]);
prg.ground([('myrel', [30,40])]);
prg.ground([('myrel', [70,40])]);

然后它被接受并产生正确的输出。