如何输入clingo变量

Question

我有下面的代码，但是我想改变变量p，我怎么做呢？

{p(1;2;3;4)}.
:- p(X*2).

这是正常的。但是下面的代码不起作用。

p(1;2;3;4)

{p(X)} :- X = p(X).
:- p(X*2).

Answer 1

在ASP真值不随时间变化的情况下，无论原子是true还是false，对于一个特定的答案集，它们都不能被覆盖。但是，您可以自由地引入辅助谓词，例如：

p(1;2;3;4).
{q(X)} :- p(X).
:- q(X*2).
#show q/1.

最后一行将输出限制为只显示带有1的谓词1。输出：

Answer: 1

Answer: 2
q(3)
Answer: 3
q(1)
Answer: 4
q(1) q(3)
SATISFIABLE