asp/clingo에서 파이썬 스크립트를 사용하는 어휘 술어

Question

clingo 버전 4를 사용 중이며 파이썬 스크립트를 통해 관계를 연결할 수 있기를 바랍니다 (왜 그런지 묻지 마십시오. 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])]); 

를 작성해야 후 허용하고 오른쪽 출력을 얻을 수 있습니다.