Задача про офицеров.

/************************************************** ***************************
Copyright (c) My Company
Project: OFFIC
FileName: OFFIC.PRO
Purpose: No description
Written by: Visual Prolog
Comments:
На одном вечере среди гостей оказалось пять офицеров: пехотинец, артиллерист, летчик, связист и сапер.
Один из них был капитаном, трое — майорами и один — в звании подполковника.
Дамы окружили офицеров таким вниманием, что все остальные гости оказались просто забытыми.
Из разговоров удалось выяснить следующее:
1) у Яноша такое же звание, как и у его друга сапера;
2) офицер-связист и Ференц — большие друзья;
3) офицер-летчик вместе с Белой и Лайошем недавно побывали в гостях у Ференца;
4) незадолго до званого вечера у артиллериста и сапера почти одновременно вышли из строя радиоприемники.
Оба в один день обратились к Лайошу с просьбой зайти к ним и помочь связисту устранить
неисправность и не ошиблись, поскольку с тех пор приемники у обоих работают отлично;
5) Ференц чуть было не стал летчиком, но потом по совету своего друга сапера избрал иной род войск;
6) Янош по званию старше Лайоша, а Бела старше Ференца;
7) пятый офицер, Андраш, накануне вечера был в гостях у Лайоша.
Определите звание каждого офицера и род войск, в котором он служит.
************************************************** ****************************/
/*
пехотинец Лайош капитан
артиллерист Ференц майор
лётчик Янош майор
связист Бела подполковник
сапер Андраш майор
*/
include "offic.inc"
 
 
predicates
nondeterm resh
name (string)
zvanie (string)
rod (string)
soot (string,string,string)
resh (string,string,string,string,string,string,string, string,string,string,string,string,string,string,s tring)
 
clauses
name("Янош").
name("Ференц").
name("Бела").
name("Лайош").
name("Андраш").
zvanie("подполковник").
zvanie("майор").
zvanie("майор").
zvanie("майор").
zvanie("капитан").
rod("летчик").
rod("сапер").
rod("связист").
rod("артиллерист").
rod("пехотинец").
% Решение: X – имя, Y – звание, Z – род войск
% Из условия 1 и 6 Янош - майор и не сапер
soot(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="Янош", Y="майор", Z <> "сапер".
% Из условия 3 - Бела, Ференц и Лайош не летчики
soot(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="Ференц", Y <> "капитан", Y <> "подполковник", Z <> "летчик", Z <> "сапер", Z <> "связист", Z <> "пехотинец".
% Из условия 5
% Из условия 6 Лайош - капитан. Из условия 4 он не артиллерист, не сапер, не связист.
soot(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="Лайош", Y = "капитан", not (Z = "летчик"), not (Z = "артиллерист"), not (Z = "сапер"), not (Z = "связист").
soot(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="Бела", not (Y = "капитан"), not (Y = "майор"), not (Z = "летчик"), not (Z = "пехотинец"), not (Z = "артиллерист"), not (Z = "сапер").
soot(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="Андраш", not (Y = "капитан"), not (Y = "подполковник"), not (Z = "летчик"), not (Z = "пехотинец"), not (Z = "артиллерист"), not (Z = "связист").
 
resh(X1,Y1,Z1,X2,Y2,Z2,X3,Y3,Z3,X4,Y4,Z4,X5,Y5,Z5) :-
X1="Янош",soot(X1,Y1,Z1),
X2="Ференц", soot(X2,Y2,Z2),
X3="Бела", soot(X3,Y3,Z3),
X4="Лайош", soot(X4,Y4,Z4),
X5="Андраш", soot(X5,Y5,Z5),
%Y1<>Y2, Y1<>Y3, Y1<>Y4, Y1<>Y5,
%Y2 = Y3, Y2 = Y4, Y2 <> Y5,
%Y3 = Y4, Y3<>Y5, Y4 <> Y5,
Z1<>Z2, Z1<>Z3, Z1<>Z4,Z1<>Z5,
Z2<>Z3, Z2<>Z4, Z2<>Z5,
Z3<>Z4, Z3<>Z5, Z4<>Z5.
 
goal
 
resh (X1,Y1,Z1,X2,Y2,Z2,X3,Y3,Z3,X4,Y4,Z4,X5,Y5,Z5),
write(X1," звание - ",Y1," род - ",Z1),nl,
write(X2," звание - ",Y2," род - ",Z2),nl,
write(X3," звание - ",Y3," род - ",Z3),nl,
write(X4," звание - ",Y4," род - ",Z4),nl,
write(X5," звание - ",Y5," род - ",Z5),nl.

domains
officer = off(string, string, string).
 
predicates
nondeterm name (string)
nondeterm zvanie (string)
nondeterm rod (string)
nondeterm soot (string,string,string)
nondeterm resh (officer,officer,officer,officer,officer)
nondeterm write_off(officer)
 
clauses
name("ßíîø").
name("Ôåðåíö").
name("Áåëà").
name("Ëàéîø").
name("Àíäðàø").
zvanie("ïîäïîëêîâíèê").
zvanie("ìàéîð").
zvanie("ìàéîð").
zvanie("ìàéîð").
zvanie("êàïèòàí").
rod("ëåò÷èê").
rod("ñàïåð").
rod("ñâÿçèñò").
rod("àðòèëëåðèñò").
rod("ïåõîòèíåö").
% Ðåøåíèå: X – èìÿ, Y – çâàíèå, Z – ðîä âîéñê
% Èç óñëîâèÿ 1 è 6 ßíîø - ìàéîð è íå ñàïåð
soot(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="ßíîø", Y="ìàéîð", Z <> "ñàïåð".
% Èç óñëîâèÿ 3 - Áåëà, Ôåðåíö è Ëàéîø íå ëåò÷èêè
soot(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="Ôåðåíö", Y <> "êàïèòàí", Y <> "ïîäïîëêîâíèê", Z <> "ëåò÷èê", Z <> "ñàïåð", Z <> "ñâÿçèñò", Z <> "ïåõîòèíåö".
% Èç óñëîâèÿ 5
% Èç óñëîâèÿ 6 Ëàéîø - êàïèòàí. Èç óñëîâèÿ 4 îí íå àðòèëëåðèñò, íå ñàïåð, íå ñâÿçèñò.
soot(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="Ëàéîø", Y = "êàïèòàí", not (Z = "ëåò÷èê"), not (Z = "àðòèëëåðèñò"), not (Z = "ñàïåð"), not (Z = "ñâÿçèñò").
soot(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="Áåëà", not (Y = "êàïèòàí"), not (Y = "ìàéîð"), not (Z = "ëåò÷èê"), not (Z = "ïåõîòèíåö"), not (Z = "àðòèëëåðèñò"), not (Z = "ñàïåð").
soot(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="Àíäðàø", not (Y = "êàïèòàí"), not (Y = "ïîäïîëêîâíèê"), not (Z = "ëåò÷èê"), not (Z = "ïåõîòèíåö"), not (Z = "àðòèëëåðèñò"), not (Z = "ñâÿçèñò").
 
resh(Off1,Off2,Off3,Off4,Off5) :-
X1="ßíîø",soot(X1,Y1,Z1), Off1=off(X1,Y1,Z1),
X2="Ôåðåíö", soot(X2,Y2,Z2), Off2=off(X2,Y2,Z2),
X3="Áåëà", soot(X3,Y3,Z3), Off3=off(X3,Y3,Z3),
X4="Ëàéîø", soot(X4,Y4,Z4), Off4=off(X4,Y4,Z4),
X5="Àíäðàø", soot(X5,Y5,Z5), Off5=off(X5,Y5,Z5),
%Y1<>Y2, Y1<>Y3, Y1<>Y4, Y1<>Y5,
%Y2 = Y3, Y2 = Y4, Y2 <> Y5,
%Y3 = Y4, Y3<>Y5, Y4 <> Y5,
Z1<>Z2, Z1<>Z3, Z1<>Z4,Z1<>Z5,
Z2<>Z3, Z2<>Z4, Z2<>Z5,
Z3<>Z4, Z3<>Z5, Z4<>Z5.
 
write_off(off(X,Y,Z)):-write(X," çâàíèå - ",Y," ðîä - ",Z),nl.
 
goal
 
resh (Off1, Off2, Off3, Off4, Off5),
write_off(Off1),write_off(Off2),write_off(Off3),
write_off(Off4),write_off(Off5).