Prolog определенность - группировка факты

Question

я факт отрегулированы так ...

fav_fruit(male, young, apple). 
fav_fruit(female, young, bannana). 
fav_fruit(male, old, bannana). 
fav_fruit(female, old, apple). 
fav_fruit(female, young, apple). 

Я нужно выяснить, есть ли группа (пол, возраст), где есть еще один любимый фрукт (ответ на приведенные выше факты был бы (женский, молодой.)

То, что я пытался выяснить, - использовать функции aggregate или findall в прологе, чтобы вернуть список типов, например ....

female, young = 2 (apple, bannana) 
male, young = 1 (apple) 
male, old = 1 (bannana) 
female, old = 1 (apple) 

... Таким образом, я мог бы просто проверить общее количество для каждого члена и проверить, будет ли оно больше 1.

Любые идеи были бы весьма благодарны.

Answer 1

Как насчет

fav_fruit_class(Gender-Age, List):- 
    findall(Gender-Age, fav_fruit(Gender, Age, _), LGenderAge), 
    sort(LGenderAge, SGenderAge), 
    member(Gender-Age, SGenderAge), 
    findall(Fruit, fav_fruit(Gender, Age, Fruit), List). 

Первый FindAll + сорт получает список классов (Пол/Возраст). Второй findall получает список любимых фруктов для каждого класса.