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

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:
/* SWI-Prolog */
prolog_current_choice(CP) : Get a choicen point
prolog_cut_to(CP) : Cut to a choice point
See also, the pair is used here:
'$meta_call'(:Goal)
https://github.com/SWI-Prolog/swipl-devel/blob/master/boot/init.pl
Mild Shock schrieb:

First create a conjunction:
     A1,...,An
 Wrap each goal Aj into a soft cut:
    (Aj *-> true; !).
 The cut will abort all previous goals.
 Julio Di Egidio schrieb:

Given a list of goals representing a conjunction, I would like it to fail as soon as any goal fails, but I would like *not* to cut on the search space otherwise.
>
Here is my actual test case, only considering ground goals (otherwise too many ways to play with it that seem immaterial to the problem):
>
```
red(1).
red(1).
>
and([]) :- !.  % with Xs ground!
and([H:B|Xs]) :-
     red(B), writeln(H:B),
     and(Xs).
>
/*
>
Actual:
-------
>
?- and([x:1,y:1]), fail.  % ok: full search space
x:1
y:1
y:1
x:1
y:1
y:1
false.
>
?- and([x:1,y:0]), fail.  % KO: could fail earlier
x:1
x:1
false.
>
Expected:
---------
>
?- and([x:1,y:0]), fail.  % ok: fails early!
x:1
false.
>
*/
```
>
Am I just missing something obvious?  I am trying with "ancestral cuts" (SWI-Prolog has these), but I have not yet found a solution.
>
-Julio