Поиск по списку структур, задача - Prolog

Формулировка задачи:

Все доброго времени суток. Задача: Есть структура мальчик, которая выглядит так

                    Листинг программы
                
имя,пирог = symbol
мальчик=человек(имя, пирог)

Пирог принимает значение ест\не_ест. То есть определяем, ест ли мальчик пирог. Есть три мальчика и каждый из них может есть, а может и не есть пирог. Нужно написать предикат, который будет подсчитывать количество нужных структур. Сейчас код ищет только одно вхождение. Нужно как то это исправить. Очень буду благодарен за помощь.

                    Листинг программы
                
 
                            
                        
DOMAINS
    int = integer
    имя,пирог = symbol
    мальчик=человек(имя, пирог)
    список2 = мальчик*
    съели = пирог*
PREDICATES
    nondeterm count_member(список2,мальчик,int,int)
    nondeterm ищем_решение(список2)
    nondeterm возможное_имя(имя)
    nondeterm один_из(пирог,съели)  
    nondeterm едят(съели)
    
CLAUSES 
%поиск по списку элемента
    count_member([],_,M,M):-!.
    count_member([H|T],N,K,M):-H=N,K1=K+1,!,count_member(T,N,K1,M).
    count_member([_|T],N,K,M):-count_member(T,N,K,M).
    
    один_из(Name,[Name | _]).
    один_из(Name,[_|Хвост]):-один_из(Name,Хвост).   
    едят(Пирог):-Пирог = [ест, не_ест].
 
    возможное_имя(ваня).
    возможное_имя(володя).
    возможное_имя(миша).
    
    ищем_решение(Мальчики):-    возможное_имя(Имя1),возможное_имя(Имя2),возможное_имя(Имя3),
    not(Имя1=Имя2),
    not(Имя1=Имя3),
    not(Имя3=Имя2),
    едят(Пироги),
    один_из(Пирог1,Пироги), 
    один_из(Пирог2,Пироги),
    один_из(Пирог3,Пироги),
    Мальчики=[человек(Имя1, Пирог1),человек(Имя2, Пирог2),человек(Имя3, Пирог3)],
    %подсчет сколько мальчиков едят пирог
    count_member(Мальчики,человек(_,ест),0,Количество), write("Кол= ", Количество).
 
GOAL    
    ищем_решение(Мальчики).

Результат сейчас: Кол= 1Мальчики=[человек("ваня","ест"),человек("володя","ест"),человек("миша","ест")] А должно быть: Кол= 3Мальчики=[человек("ваня","ест"),человек("володя","ест"),человек("миша","ест")]

Решение задачи: «Поиск по списку структур, задача»

Листинг программы

count_member(Мальчики,человек(_,ест),0,Количество),

Объяснение кода листинга программы

Задана структура данных человек(_,ест) и список структур данных Мальчики.
Переменная Количество инициализирована нулем.
Функция count_member вызывается с аргументами Мальчики, человек(_,ест), 0 и Количество.
Функция count_member выполняет поиск структур данных человек(_,ест) в списке структур данных Мальчики.
При каждом обнаружении структуры данных человек(_,ест) в списке структур данных Мальчики, функция увеличивает значение переменной Количество на единицу.
После завершения поиска, функция возвращает значение переменной Количество.