Логическая задача (худоджник, математик, писатель и музыкант; определить кто есть кто)

name(воронов).
name(павлов).
name(журавлев).
name(синицин).
itazh(первый).
itazh(второй).
itazh(третий).
itazh(четвертый).
professiya(художник).
professiya(математик).
professiya(писатель).
professiya(музыкант).
 
 
zhitel(X,Y,Z):-name(X),itazh(Y),professiya(Z),X=воронов,Y=1,not(Z=музыкант),not(Z=художник),not(Z=писатель);    
                name(X),itazh(Y),professiya(Z),X=павлов,not(Y=4),not(Z=художник),not(Z=писатель);    
                name(X),itazh(Y),professiya(Z),X=журавлев,not(Y=1),not(Y=2),not(Z=музыкант);    
                name(X),itazh(Y),professiya(Z),X=синицын,not(Z=писатель).
 
результат:-name(X1),name(X2),name(X3),name(X4),
            itazh(Y1),itazh(Y2),itazh(Y3),itazh(Y4),
            professiya(Z1),professiya(Z2),professiya(Z3),professiya(Z4),
            zhitel(X1,Y1,Z1),zhitel(X2,Y2,Z2),zhitel(X3,Y3,Z3),zhitel(X4,Y4,Z4),
                not(X1=X2),not(X1=X3),not(X1=X4),not(X2=X3),not(X2=X4),not(X3=X4),
            not(Y1=Y2),not(Y1=Y3),not(Y1=Y4),not(Y2=Y3),not(Y2=Y4),not(Y3=Y4),    
            not(Z1=Z2),not(Z1=Z3),not(Z1=Z4),not(Z2=Z3),not(Z2=Z4),not(Z3=Z4),
            write(X1),write(" "),write(Y1),write(" "),write(Z1),nl,
            write(X2),write(" "),write(Y2),write(" "),write(Z2),nl,
            write(X3),write(" "),write(Y3),write(" "),write(Z3),nl,
            write(X4),write(" "),write(Y4),write(" "),write(Z4),nl.
 
 
 
goal
    результат.