предикаты заземления с скриптами python в asp/clingo

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

, а затем он принимается и дает правильный вывод.