[1,1,0,1,0,0,1,0], [1,0,0,1,1,0,0,1],Result).

%and_list([Head| Tail], [Head| Tail2]) :-
 %   p(Head),
 %   and_list(Tail, Tail2).

and_list([Head| Tail], List) :-
    + p(Head),
    and_list(Tail, List).
p(0).


?- and_list([1,1,0,1,0,0,1,0], List).
List = [0, 0, 0 , 0] ;

?- and_list([1,0,0,1,1,0,0,1],List).
List = [0,0,0,0] ;


%how many times  0

result(N,[],0).
result(H,[H|T],X) :-
    result(H,T,XT),
    X is NT+1.
result(N,[H|T],N) :-
    N=H,   % N==H
    result(N,T,X).