如何在 clingo / gringo 中替换 python API 中的常量项？
How to replace constants terms from python API in clingo / gringo?
假设我有以下文件 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?
这样我就可以访问替换了常数项的基础程序/求解程序的模型。
事实证明可以使用命令行参数初始化 Control，所以这样做就可以了：
ctl = Control(["-c", "x=1"])
假设我有以下文件 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?
这样我就可以访问替换了常数项的基础程序/求解程序的模型。
事实证明可以使用命令行参数初始化 Control，所以这样做就可以了：
ctl = Control(["-c", "x=1"])