<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>