Prolog: how to check if the currently evaluated clause was cut?

Asked Apr 26 '20 at 15:52

Active Apr 26 '20 at 20:59

Viewed 36 times

As in the title, for example

test(X) :-
  ( was_cut -> X = yep
  ; X = nope
  ).
test(X) :-
  !,
  ( was_cut -> X = yep
  ; X = nope
  ).
test(X) :-
  X = none.

Would yield

?- test(X)
X = nope;
X = yep.

Asking certainly about SWI and/or SICSTUS implementations, but the other ones are welcome as well

edited Apr 26 '20 at 20:59

asked Apr 26 '20 at 15:52

radrow

`was_cut()` is invalid syntax in SICStus and ISO. – false Apr 26 '20 at 17:47
Okay, it works on swi so I go mistaken. Is `was_cut ->` just okay? – radrow Apr 26 '20 at 18:30
Yes, so improve your questiion – false Apr 26 '20 at 19:22
Why should that exist? A better name would is_committed, but the clause should damn well know it is committed to its current branch, shouldn't it? – David Tonhofer Apr 26 '20 at 21:59

0 Answers0