Подборка лаб выполненых в Arity Prologе / ARI / ARITY / LAB1 / LAB1

Luba German Duny Petr

Lesha Nady Sasha Nina Koly Galina Ivan

Masha Luda Olga Andrey Tany

Lena Igor Oleg Vika

Timyr Dima Viktor


woman('Luba').
woman('Nady').
woman('Masha').
woman('Luda').
woman('Duny').
woman('Nina').
woman('Olga').
woman('Galina').
woman('Tany').
woman('Vika').
woman('Lena').

man('German').
man('Lesha').
man('Dima').
man('Sasha').
man('Petr').
man('Koly').
man('Andrey').
man('Ivan').
man('Igor').
man('Timyr').
man('Oleg').
man('Viktor').


mother('Luba','Lesha').
mother('Luba','Nady').
mother('Nady','Masha').
mother('Nady','Luda').
mother('Duny','Sasha').
mother('Duny','Nina').
mother('Duny','Galina').
mother('Nina','Olga').
mother('Nina','Andrey').
mother('Galina','Tany').
mother('Galina','Vika').
mother('Galina','Lena').
mother('Vika','Viktor').
mother('Lena','Timyr').
mother('Lena','Dima').

father('German','Lesha').
father('German','Nady').
father('Sasha','Masha').
father('Sasha','Luda').
father('Petr','Sasha').
father('Petr','Nina').
father('Petr','Galina').
father('Koly','Olga').
father('Koly','Andrey').
father('Ivan','Tany').
father('Ivan','Vika').
father('Ivan','Lena').
father('Oleg','Viktor').
father('Igor','Timyr').
father('Igor','Dima').

husband('German','Luba').
husband('Sasha','Nady').
husband('Petr','Duny').
husband('Koly','Nina').
husband('Ivan','Galina').
husband('Oleg','Vika').
husband('Igor','Lena').

wife(Whose,Who):-husband(Who,Whose).

parents(Who,Whose):-mother(Who,Whose).
parents(Who,Whose):-father(Who,Whose).

child(Who,Whose):-parents(Whose,Who).

brother(Who,Whose):-man(Who),parents(Mum,Who),
parents(Mum,Whose),Who\=Whose,!.
sister(Who,Whose):-woman(Who),parents(Mum,Who),
parents(Mum,Whose),Who\=Whose,!.

uncle(Who,Whose):-parents(Par,Whose),brother(Who,Par).
uncle(Who,Whose):-parents(Par,Whose),sister(P1,Par),husband(Who,P1).

aunt(Who,Whose):-parents(Par,Whose),sister(Who,Par).
aunt(Who,Whose):-parents(Par,Whose),brother(P1,Par),wife(Who,P1).

grandmother(Who,Whose):-woman(Who),parents(Par,Whose),
mother(Who,Par).
grandfather(Who,Whose):-man(Who),parents(Par,Whose),
father(Who,Par).

cousina(Who,Whose):-woman(Who),aunt(Who1,Whose),
child(Who,Who1),Who\=Whose.
cousina(Who,Whose):-woman(Who),uncle(Who1,Whose),
child(Who,Who1),Who\=Whose.

cousin(Who,Whose):-man(Who),aunt(Who1,Whose),
child(Who,Who1),Who\=Whose.
cousin(Who,Whose):-man(Who),uncle(Who1,Whose),
child(Who,Who1),Who\=Whose.

plem_a(Who,Whose):-woman(Who),parents(Par,Who),sister(Par,Whose).
plem_a(Who,Whose):-woman(Who),parents(Par,Who),
brother(Br,Par),wife(Whose,Br).
plem_a(Who,Whose):-woman(Who),parents(Par,Who),
sister(Par,Ss),husband(Whose,Ss).
plem_a(Who,Whose):-woman(Who),parents(Par,Who),
brother(Whose,Par).

plem_k(Who,Whose):-man(Who),parents(Par,Who),sister(Par,Whose).
plem_k(Who,Whose):-man(Who),parents(Par,Who),
brother(Br,Par),wife(Whose,Br).
plem_k(Who,Whose):-man(Who),parents(Par,Who),
sister(Par,Ss),husband(Whose,Ss).
plem_k(Who,Whose):-man(Who),parents(Par,Who),
brother(Whose,Par).

mother('‡Ё­ ',W).

W = 'Љ®«п' ->;
W = '‘ и ' ->;
W = '‹о¤ ' ->;
no



? - brother('Dima',K).
K='Timyr'->;
no

? - aunt(N,'Olga').
N='Galina'->;
no

? - grandfather(N,'Masha').
N='German'->;
N='Pert'->;
no

? - uncle(N,'Andrey').
N='Sasha'->;
N='Ivan'->;
no

? - cousina(N,'Andrey').
N='Tany'->;
N='Vika'->;
N='Lena'->;
N='Masha'->;
N='Luda'->;
no

? - plem_a(K,'Sasha').
K='Olga'->;
K='Tany'->;
K='Vika'->;
K='Lena'->;
no