如何在 cligo / 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"])