Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9  10  11 | Следующая страница реферата

 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.

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

domains

 name=symbol

predicates

 star(name)

 planet(name)

 revolve(name,name)

 satellite(name,name).

goal

Рекомендуем скачать другие рефераты по теме: курсовая работа по праву, сообщение об открытии.





Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9  10  11 | Следующая страница реферата