Можно ли представить "неразрешимый" в 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).