brother(X,Y):-parents(Z,X),parents(Z,Y),man(X),X<>Y.

grandfather(X,Y):-father(X,Z),father(Z,Y).

grandmother(X,Y):-mother(X,Z),father(Z,Y).

emperor("Петр III",1761,1762).

emperor("Екатерина II",1762,1796).

emperor("Павел I",1796,1801).

emperor("Александр I",1801,1825).

emperor("Николай I",1825,1855).

emperor("Александр II",1855,1881).

emperor("Александр III",1881,1894).

emperor("Николай II",1894,1917).

emperor_was(X,Y):-emperor(X,A,B),Y>=A,Y<=B.

Результат: Y=aleksandr I X=petr III, A=1761, B=1762 X=pavel I

1 Solution X=ekaterina II, A=1762, B=1769 1 Solution

X=pavel I, A=1796, B=1801

X=aleksandr I, A=1801, B=1825

X=nikolay I, A=1825, B=1855

X=aleksandr II, A=1855, B=1881

X=aleksandr III, A=1881, B=1894

X=nikolay II, A=1894, B=1917

8 Solutions

Задание 4.

1. Реализовать приведенную программу:

domains

name=symbol

predicates

star(name)

planet(name)

revolve(name,name)

satellite(name,name).