<div class="notebook">

<div class="nb-cell program" name="p1">
%f([X|T],C):-nth0(C,X,0),(T==[];f(T,C);D is mod(C+1,2),f([X|T],D)).

f([[1,_],[_,1]|_]):- !,0=1.
f([[_,1],[1,_]|_]):- !,0=1.
f([[1,1]|_]):- !,0=1.
f([_|T]):-T==[];f(T).
</div>

<div class="nb-cell query" name="q1">
f([[0,0],[0,0],[1,1],[0,0],[0,0],[0,0]])
</div>

</div>