在asp / clingo中使用python脚本接口谓词

Question

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

#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])]);

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