book("Фигурнов В.Э.","IBM PC для пользователя","ФиС",1988).

book("Петухов О.А.","Проектирование ОРБД","Судостроение",1984).

book("Петухов О.А.","Объектно-реляционные модели данных","СЗПИ",1987).

book("Петухов О.А.","Моделирование СМО","СЗПИ",1989).

book("Петухов О.А.","PDC Prolog","СЗПИ",2000).

book("Анкудинов Г.И.","Теория автоматов","СЗПИ",1997).

book("Николаев В.И.","Дискретные структуры","СЗПИ",1999).

Результат: X= Proektirovanie OR BD, Y=SUDOSTROENIE, Z=1984

X=Object models of DATA, Y=SZPI, Z=1987

X=Modelirovanie CMO, Y=SZPI, Z=1989

X=PDC Prolog, Y=SZPI, Z=2000

4 Solutions

X= Proektirovanie OR BD

X=Object models of DATA

X=Modelirovanie CMO

X=PDC Prolog

4 Solutions

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)