prolog - !/0 は (\+)/1 を切り抜けるはずですか?

Question

一方では：

$ シクストゥス
SICStus 4.6.0 (x86_64-linux-glibc2.17): 2020 年 4 月 6 日月曜日 09:23:37 PDT
[...]

| | ?- \+ (!,false) ; X = 1。
はい

... 一方で ...

$ gprolog
GNU プロローグ 1.4.5 (64 ビット)
[...]

| | ?- \+ (!,false) ; X = 1。
真実 ？;
X = 1
はい

...一方で：

$ スワイプ
SWI-Prolog へようこそ (スレッド化、64 ビット、バージョン 8.2.2)
[...]

1 ?- \+ (!,false) ; X = 1。
真;
X = 1。

紛らわしいですね。助けてください！