Задача про трех дочерей на Turbo Prolog

domains
city,person,occupation = symbol
predicates
likes(person,occupation)
lives(person,city)
pers(person)
occup(occupation)
cit(city)
judi(person)
linda(person)
get_iris
goal
get_iris.
clauses
pers("Judi"). 
pers("Iris"). 
pers("Linda").
occup("dance"). 
occup("cinema"). 
occup("sing").
cit("Paris"). 
cit("Rome"). 
cit("Chicago").
likes(C,D):-pers(C),occup(D).
 
judi(X) :- not(lives(X,"Paris")),
X="Judi".
linda(Y):- not(lives(Y,"Rome")),
not(likes(Y,"dance")),
Y="Linda".
lives(X,Y):-pers(X),cit(Y).
lives(Z,"Paris"):-
not(likes(Z,"cinema")).
lives(A,"Rome"):-
likes(A,"sing").
 
get_iris :-
likes("Iris",Y),
lives("Iris",Z),
 
write(X," - ",Y," - ",Z),nl.

domains
    city,person,occupation = symbol
predicates
    name(person)
    occup(occupation)
    cit(city)
    accordance(person,city,occupation)
    solve(person,city,occupation,person,city,occupation,person,city,occupation)
goal
    solve(X1,Y1,Z1,X2,Y2,Z2,X3,Y3,Z3).
clauses
    name(judi). name(iris). name(linda).
    occup(dance). occup(cinema). occup(sing).
    cit(paris). cit(rome). cit(chicago).
    accordance(X,Y,Z):-name(X),cit(Y),occup(Z),
    not(X=judi),Y=paris,not(Z=cinema).
    accordance(X,Y,Z):-name(X),cit(Y),occup(Z),
    not(X=linda),Y=rome,Z=sing.
    accordance(X,Y,Z):-name(X),cit(Y),occup(Z),
    X=linda,not(Y=rome),not(Z=dance).
    solve(X1,Y1,Z1,X2,Y2,Z2,X3,Y3,Z3):-
    X1=judi,accordance(X1,Y1,Z1),
    X2=linda,accordance(X2,Y2,Z2),
    X3=iris,accordance(X3,Y3,Z3),
    Y1<>Y2,Y1<>Y3,Y2<>Y3,
    Z1<>Z2,Z1<>Z3,Z2<>Z3,nl,
    write(X1," ",Y1," ",Z1),nl,
    write(X2," ",Y2," ",Z2),nl,
    write(X3," ",Y3," ",Z3).