之类的句子
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).
第一个没有改变解决方案，而第二个使一切都不令人满意。
在长时间的冥想之后，我会回答自己的问题...
翻译句子的一种方法是
b(X) :- a(X), not -b(X).
-b(X) :- a(X), not b(X).