fy オペレータ述語の　\+ です。 (Winでは 半角の　￥＋　）

ただし、TopLevelで入力するときは、?- のあとにスペースをあけないと
記号連続の述語として扱われてしまいますのでご注意ください。
| ?-\+ fail.
| ?- listing.
?-\+(fail). <== 述語　’?-\+’ /2 として登録されてしまう。
yes

| ?- \+ fail.
yes
| ?- \+ true.
no
| ?- \+ \+ true.
yes