Как и в заголовке, например,
test(X) :-
( was_cut -> X = yep
; X = nope
).
test(X) :-
!,
( was_cut -> X = yep
; X = nope
).
test(X) :-
X = none.
даст
?- test(X)
X = nope;
X = yep.
Конечно, спрашивая о реализациях SWI и / или SICSTUS, но другие приветствуются как хорошо