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

                    E=Petuchov O.A., X=Object models of DATA, Z=1987

                    E=Petuchov O.A., X=Modelirovanie CMO, Z=1989

                    E=Petuchov O.A., X= PDC Prolog, Z=2000

                    E=Ankudinov G.I., X=Automat theory, Z=1997

                    E=Nikolaev V.I., X=Diskretniye struktury, Z=1999

                    5 Solutions

Задание 3.

Реализовать программу с вводом всех перечисленных внешних целей и проверить получаемые результаты:

domains

 name=symbol

 year_in, year_out = integer

predicates

 parents(name,name)

 woman(name)

 man(name)

 offspring(name,name)

 father(name,name)

 mother(name,name)

 parent_parents(name,name)

 brother(name,name)

 grandfather(name,name)

 grandmother(name,name)

 emperor(name,year_in,year_out)

 emperor_was(name,integer)

clauses

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





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