Додумался сам:
Код:
len([],0) :- !.
len([_|T], N) :- len(T,N1), N is N1+1.
ce([],0):-!.
ce([X],1):-atomic(X), X mod 2 =:= 0,!.
ce([X],1):-len(X,L), L mod 2 =:= 0,!.
ce([X|T],N):-atomic(X),X mod 2 =:= 0, ce(T,N1), N is N1+1,!.
ce([X|T],N):-atomic(X), X mod 2 =\= 0, ce(T,N),!.
ce([X|T],N):-len(X,L),L mod 2 =:= 0, ce(T,N1), N is N1+1,!.
ce([_|T],N):-ce(T,N).
Оказалось не так то уж и сложно.