如何在clingo / gringo中替换python API中的常量项？

Question

假设我有一个下面的文件foo.lp

foo(x).

现在，当我运行gringo -t -c x=1 foo.lp时，我显然会得到：

foo(1).

现在我想知道如何实现与Python API中的-c命令行选项相同的行为，比如当我有：

from clingo.control import Control
ctl = Control()
ctl.load('foo.lp')


#ctl.ground() # What to do here exactly?

这样我就可以访问用常数项替换的已求解程序的地面程序/模型。

Answer 1

原来可以使用命令行参数初始化Control，所以这样做是可行的：

ctl = Control(["-c", "x=1"])