answer-set-programming - “undecidable”可以用 ASP（答案集编程）来表示吗？

Question

像这样的一句话

If a(X), then one can't decide/conclude anything about a(X) being b(X)

第一次尝试

b(X) | -b(X) :- a(X).

第二次尝试

:- a(X), b(X).
:- a(X), -b(X).

第一个对解决方案没有任何改变，而第二个则使一切都无法令人满意。

Answer 1

经过长时间的冥想，我将回答我自己的问题......

翻译句子的一种方法是

b(X) :- a(X), not -b(X).
-b(X) :- a(X), not b(X).