Объединить предикаты

domains
    name = symbol
    
predicates
    nondeterm parent(name, name)
    nondeterm pol(name, name)
    nondeterm man(name)
    nondeterm woman(name)
    nondeterm father(name)
    nondeterm mother(name)
    nondeterm son(name)
    nondeterm daughter(name)
    nondeterm brother1(name)
    nondeterm sister1(name)
    nondeterm brother(name, name)
    nondeterm sister(name, name)
    nondeterm grandfather(name, name)
    nondeterm grandmother(name, name)
    nondeterm uncle(name, name)
    nondeterm aunt(name, name)
    nondeterm nephew(name, name)
    nondeterm niece(name, name)
    nondeterm offspring(name, name)
    nondeterm ancestor(name, name)
    nondeterm generation(name, name)
    nondeterm child(name)
    nondeterm adult(name)
    nondeterm grand(name, name).
    nondeterm extreme(name, name).
    nondeterm extreme_(name, name).
    
clauses
    parent(son, mother).
    parent(son, father).
    parent(sister, mother).
    parent(sister, father).
    parent(name4, aunt).
    parent(aunt, grandfather).
    parent(father, name1).
    parent(mother, grandfather).
    parent(name1, name2).
    parent(name5, name4).
    parent(name3, aunt).
    parent(gratdfather, name6).
    
    pol(son, m).
    pol(sister, g).
    pol(mother, g).
    pol(father, m).
    pol(grandfather, m).
    pol(grandmother, g).
    pol(aunt, g).
    pol(name1, m).
    pol(name5, g).
    pol(name2, m).
    pol(name5, m).
    pol(name3, m).
    pol(name4, g).
    pol(name6, g).
    
    man(X) :- pol(X, m).
    woman(X) :- pol(X, g).
    
    father(X) :- parent(_, X), pol(X, m).
    mother(X) :- parent(_, X), pol(X, g).
    
    son(X) :- parent(X, _), pol(X, m).
    daughter(X) :- parent(X, _), pol(X, g).
    
    brother1(X) :- man(X), parent(X, Z), parent(Y, Z), X<>Y.
    sister1(X) :- woman(X), parent(X, Z), parent(Y, Z), X<>Y.
    brother(X, Y) :- parent(X, Z), parent(Y, Z), man(X), X<>Y.
    sister(X, Y) :- parent(X, Z), parent(Y, Z), woman(X), X<>Y.
    
    grandfather(X, Y) :- man(X), parent(Y, Z), parent(Z, X), X<>Y.
    grandmother(X, Y) :- woman(X), parent(Y, Z), parent(Z, X), X<>Y.
    
    grand(X, Y) :- parent(Y, Z), parent(Z, X), X<>Y.
    
    uncle(X, Y) :- parent(Y, Z), brother(X, Z).
    aunt(X, Y) :- parent(Y, Z), sister(X, Z).
    
    nephew(X, Y) :- man(X), parent(X, Z), parent(Z, W), parent(Y, W), Z<>Y.
    niece(X, Y) :- woman(X), parent(X, Z), parent(Z, W), parent(Y, W), Z<>Y.
    
    offspring(Y, X) :- parent(Y, X).
    
    ancestor(X, Y) :- parent(X, Y).
    ancestor(X, Y) :- parent(X, Z), parent(Z, Y).
    
    generation(X, Y) :- extreme(X, Y), X<>Y .
    generation(X, Y) :- extreme_(X, Y), X<>Y.
    
    extreme(X, Y) :- parent(X, Z), parent(Y, Z); parent(X, W), parent(Y, A), extreme(W, A).
    
    extreme_(X, Y) :- parent(Z, X), parent(Z, Y).
    extreme_(X, Y) :- parent(W, X), parent(A, Y), extreme_(W, A).
    
    
    child(X) :- parent(X, _), not(parent(_, X)).
    adult(X) :- parent(_, X).
    
goal
        generation(X,Y).

extreme__(X,Y,Z) :- extreme(X,Y), extreme_(X,Z).