Найти фамилии людей, у которых есть заданное число детей - Prolog

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

Задание: Предметная область – семья. Каждая семья может быть описана структурой из трех компонент: мужа, жены и детей. Каждый член семьи может быть описан структурой: имя, отчество, фамилия, год рождения, пол, ежемесячный доход. Для детей добавить поле «близнец». Реализовать следующие типы запросов: 1. Найти всех близнецов; 2. Найти всех детей, родившихся в заданном году; 3. Найти всех работающих жен, чей доход больше заданной суммы; 4. Найти фамилии людей, у которых есть заданное число детей. 5. Найти всех людей, у которых есть только один ребенок. Получилось всё, кроме четвёртого.

Спойлер

семья(
    член_семьи(имя_муж_1, фамилия_муж_1, отчество_муж_1, год_рождения(1950), пол(м), работает(1500)),
    член_семьи(имя_жена_1, фамилия_жена_1, отчество_жена_1, год_рождения(1960), пол(ж), работает(1500)),
        [член_семьи(имя_1_ребёнок_1, фамилия_1_ребёнок_1, отчество_1_ребёнок_1, год_рождения(1960), пол(м), неработает, близнец(нет)),
        член_семьи(имя_2_ребёнок_1, фамилия_2_ребёнок_1, отчество_2_ребёнок_1, год_рождения(1950), пол(м), неработает, близнец(нет)) ] ).
семья(
    член_семьи( имя_муж_2, фамилия_муж_2, отчество_муж_2, год_рождения(1950), пол(м), работает(2000) ),
    член_семьи( имя_жена_2, фамилия_жена_2, отчество_жена_2,  год_рождения(1960), пол(ж), работает(2000)),
        [член_семьи( имя_1_ребёнок_2, фамилия_1_ребёнок_2, отчество_1_ребёнок_2, год_рождения(1960), пол(м), неработает, близнец(да)),
        член_семьи( имя_2_ребёнок_2, фамилия_2_ребёнок_2, отчество_2_ребёнок_2, год_рождения(1960), пол(м), неработает, близнец(да)) ] ).
семья(
    член_семьи( имя_муж_3, фамилия_муж_3, отчество_муж_3, год_рождения(1950), пол(м), работает(1500) ),
    член_семьи( имя_жена_3, фамилия_жена_3, отчество_жена_3,  год_рождения(1960), пол(ж), работает(2000)),
        [член_семьи( имя_1_ребёнок_3, фамилия_1_ребёнок_3, отчество_1_ребёнок_3, год_рождения(1960), пол(м), неработает, близнец(нет)),
        член_семьи( имя_2_ребёнок_3, фамилия_2_ребёнок_3, отчество_2_ребёнок_3, год_рождения(1960), пол(м), неработает, близнец(нет)) ] ).
семья(
    член_семьи( имя_муж_4, фамилия_муж_4, отчество_муж_4, год_рождения(1950), пол(м), работает(2000) ),
    член_семьи( имя_жена_4, фамилия_жена_4, отчество_жена_4,  год_рождения(1960), пол(ж), работает(1500)),
        [член_семьи( имя_1_ребёнок_4, фамилия_1_ребёнок_4, отчество_1_ребёнок_4, год_рождения(1950), пол(м), неработает, близнец(да)),
        член_семьи( имя_2_ребёнок_4, фамилия_2_ребёнок_4, отчество_2_ребёнок_4, год_рождения(1960), пол(м), неработает, близнец(да)) ] ).
 
семья(
    член_семьи( имя_муж_5, фамилия_муж_5, отчество_муж_5, год_рождения(1950), пол(м), работает(2000) ),
    член_семьи( имя_жена_5, фамилия_жена_5, отчество_жена_5,  год_рождения(1960), пол(ж), работает(1500)),
        [член_семьи( имя_1_ребёнок_5, фамилия_1_ребёнок_5, отчество_1_ребёнок_5, год_рождения(1950), пол(м), неработает, близнец(нет))] ).
 
муж(X) :- семья( X, _, _ ).
жена(X) :- семья( _, X, _ ).
ребенок(X) :-  семья( _, _, Дети), принадлежит( X, Дети).
 
принадлежит( X, [X | _ ]).
принадлежит( X, [_ | L ]) :- принадлежит( X, L).

существует(Членсемьи) :-
    муж(Членсемьи);
    жена(Членсемьи);
    ребенок(Членсемьи).

Как посчитать количество элементов списка я нашёл.

длина( [], 0).
длина( [ _ | Хвост], N) :- длина( Хвост, N1), N is 1 + N1.

Но как сделать запрос и как в эту функцию передать список "Дети", я понять не могу.

Решение задачи: «Найти фамилии людей, у которых есть заданное число детей»

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

   семья(Муж, Жена, Дети), 
   длина(Дети, ЗаданноеЧисло),

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

В данном коде решается задача поиска фамилий людей, у которых есть заданное число детей.

семья(Муж, Жена, Дети) — данная строка кода описывает структуру семьи, состоящей из мужа, жены и детей. Переменные Муж, Жена и Дети являются именами этих сущностей.
длина(Дети, ЗаданноеЧисло) — эта строка кода проверяет количество детей в семье. Переменная Дети является списком детей, а переменная ЗаданноеЧисло задает количество детей, которое мы ищем. Таким образом, код ищет все семьи, у которых количество детей равно заданному числу.