Re: '$MARK' and '$CUT' (Was: Can we do this with ancestral cuts or something?)

On 09/12/2024 15:22, Mild Shock wrote:

Or use Dogelog Player:
 /* Dogelog Player */
'$MARK'(CP) : Get a choicen point.
'$CUT'(CP) : Cut to a choice point.
 But I don't have soft cut. But you can do
ancestral cut with it. SWI-Prolog has something
similar burried somewhere, they are called:

<https://www.swi-prolog.org/pldoc/man?section=ancestral-cut>
Not per chance I have mentioned SWI-Prolog in the OP.  I have also mentioned that I cannot seem to do it with ancestral cuts (only).
But thanks for mentioning soft-cuts, I had completely forgotten about those...
-Julio