Мужчины и Женщины. Рекурсия

DOMAINS
    name = string
    age = integer
    listage = age*
    listname = name*
 
PREDICATES
    nondeterm man(name, age)
    nondeterm woman(name, age)
    nondeterm execute
    nondeterm findman(listname)
    nondeterm findwoman(listname, age, name, age)
    nondeterm findwomanr(listname, age, name, age)
 
CLAUSES
    woman("Galina", 23).
    woman("Katerina", 31).
    woman("Dasha", 21).
    woman("Nelly", 27).
    woman("Aleksandra", 18).
 
    man("Aleksey", 18).
    man("Vladimir", 23).
    man("Sergey", 21).
    man("Petr", 31).
    man("Trofim", 27).
 
    findwomanr([], _, _, _).
    findwomanr([X|Rest], Age, WomanName, WomanAge):-
        woman(X, Y), D=abs(Y-Age),
        D>=WomanAge,
        write("Skip ", X, ", ", Y), nl,
        findwomanr(Rest, Age, WomanName, WomanAge).
    findwomanr([X|Rest], Age, WomanName, WomanAge):-
        woman(X, Y), D=abs(Y-Age),
        D<WomanAge,
        WomanName=X,
        WomanAge=Y,
        write("Select ", X, ", ", Y, ", ", D), nl,
        findwomanr(Rest, Age, WomanName, WomanAge).
        
    findwoman([X|Rest], Age, WomanName, WomanAge):-
        woman(X, Y),
        WomanName=X,
        WomanAge=Y,
        findwomanr(Rest, Age, WomanName, WomanAge).
        
    
    findman([]).
    findman([X|Rest]):-
        man(X, Y),                      /* Определяем мужчину, его имя и возраст */
        write("Man ", X, ", Age ", Y), nl,          /* Выводим на экран */
        findall(Name, woman(Name, _), W),           /* Создаем список всех женщин и поместим его в W */
        findwoman(W, Y, WomanName, WomanAge),               /* Найти женщину из списка W с возрастом, близкому к Y, результат - имя в WomanName */
        write(" Woman ", WomanName, ", ", WomanAge), nl,
        findman(Rest).
 
    execute:-
        findall(Name, man(Name, _), M),             /* Создадим список всех мужчин и поместим его в M */
        findman(M).
 
GOAL
    execute.