如何在Clingo编译的逻辑程序中仅显示不含事实的答案集？

要实现只展示答案集中由规则生成的内容、排除输入事实的需求，你可以通过以下几种方式实现：

方法1：使用--project命令行选项 #

Clingo内置的--project选项会自动投影掉程序中的输入事实，只保留由规则推导得出的原子。执行命令时直接添加该参数即可：

clingo your_program.lp --project

注意：这个选项会排除所有输入阶段的事实，如果你的程序中有由规则生成的“派生事实”，这些内容会被正常保留。

方法2：自定义标记与查询过滤 #

如果需要更精细的控制，可以给所有输入事实添加统一标记，再通过查询语句指定只输出非事实的原子：

1. 修改逻辑程序，将所有输入事实改为带标记的形式：

fact(a).
fact(b).

2. 添加业务规则和输出指定规则：

% 你的业务推导规则
p(X) :- fact(X), X = a.

% 指定只输出推导得到的p/1原子
#show p/1.

执行Clingo后，只会显示p/1对应的推导结果，不会展示fact/1类的原始事实内容。

方法3：通过Python API自定义输出 #

如果需要完全自定义输出逻辑，可以使用Clingo的Python API，在遍历答案集时过滤掉事实部分：

import clingo

def on_model(model):
    # 过滤掉名为fact的事实原子，保留推导结果
    filtered_atoms = [atom for atom in model.symbols(shown=True) if atom.name != "fact"]
    print("Answer set:", " ".join(str(a) for a in filtered_atoms))

with clingo.Control() as ctl:
    ctl.load("your_program.lp")
    ctl.ground([("base", [])])
    ctl.solve(on_model=on_model)

运行该脚本会输出过滤指定事实后的答案集内容。

内容的提问来源于stack exchange，提问作者Nadia