TURBO PROLOG. Терёхин В.В. - 60 стр.

UptoLike

ВУЗ: 

НФИ КемГУ | Новокузнецк

Составители: 

Рубрика: 

60
collection("Johnson",
book("Problem-Solving Methods in AI", "Nils Nilsson",
publication("McGraw Hill", 1971))).
collection(smith,
book("Alice in Wonderland", "Lewis Carroll",
publication("The New American Library", 1960))).
collection(smith,
book("Fables of Aesop",
"Aesop-Calder",
publication("Dover Publications", 1967))).
/***** конец программы *****/
_____________________________________________________________
Программа "Библиотека - 2" использует те же данные, что и программа
"Библиотека". Однако, здесь publisher и year являются объектами
publication - функтора третьего уровня. Описание доменов выглядит так:
personal_library = book(title,author,publication)
publication = publication(publisher,year)
collector,title,author,publisher = symbol
year = integer
Описание предикатов и утверждений в точности совпадает с описа-
ниями из предыдущей программы, т
. е. все отличие заключается только в
описании доменов. Функторы здесь - book и publication, причем
publication является компонентом функтора book. Усилия и время, затра-
ченные при разработке доменных и предикатных структур с лихвой возна-
градят Вас удобством пользования созданной Вами базы данных. Чем боль-
ше функторов, тем более определенные запросы можно
адресовать базе дан-
ных; а именно такие запросы, вне всякого сомнения, представляют наи-
больший интерес.
* Упражнения
3.9. Запустите на счет программу "Библиотека - 2" и введите внешнюю
цель в виде
collection(smith,Books).
или в виде
collection(Collector,book(Title,_,publication(_,1967))).
Окажется ли среди перечисленных на экране книг хотя бы одна из собрания
Kahn ?
3.10. Измените описание структур программы "
Библиотека -2". Помес-
тите объекты title и author в подструктуру с именем volume, которая опре-
деляется как
volume = volume(author,title)
Не забудьте привести в соответствие синтаксис утверждений. Запустите эту
модифицированную программу. Теперь Вы сможете обращаться к базе
данных несколько иначе. Попробуйте ввести такую цель: 
      collection("Johnson",
            book("Problem-Solving Methods in AI", "Nils Nilsson",
             publication("McGraw Hill", 1971))).
      collection(smith,
            book("Alice in Wonderland", "Lewis Carroll",
            publication("The New American Library", 1960))).
      collection(smith,
            book("Fables of Aesop",
            "Aesop-Calder",
            publication("Dover Publications", 1967))).
/*****                   конец программы            *****/
_____________________________________________________________

      Программа "Библиотека - 2" использует те же данные, что и программа
"Библиотека". Однако, здесь publisher и year являются объектами
publication - функтора третьего уровня. Описание доменов выглядит так:
      personal_library = book(title,author,publication)
      publication = publication(publisher,year)
      collector,title,author,publisher = symbol
      year = integer
      Описание предикатов и утверждений в точности совпадает с описа-
ниями из предыдущей программы, т. е. все отличие заключается только в
описании доменов. Функторы здесь - book и publication, причем
publication является компонентом функтора book. Усилия и время, затра-
ченные при разработке доменных и предикатных структур с лихвой возна-
градят Вас удобством пользования созданной Вами базы данных. Чем боль-
ше функторов, тем более определенные запросы можно адресовать базе дан-
ных; а именно такие запросы, вне всякого сомнения, представляют наи-
больший интерес.

* Упражнения
      3.9. Запустите на счет программу "Библиотека - 2" и введите внешнюю
цель в виде
                 collection(smith,Books).
или в виде
                 collection(Collector,book(Title,_,publication(_,1967))).
Окажется ли среди перечисленных на экране книг хотя бы одна из собрания
Kahn ?
      3.10. Измените описание структур программы "Библиотека -2". Помес-
тите объекты title и author в подструктуру с именем volume, которая опре-
деляется как
                 volume = volume(author,title)
Не забудьте привести в соответствие синтаксис утверждений. Запустите эту
модифицированную программу. Теперь Вы сможете обращаться к базе
данных несколько иначе. Попробуйте ввести такую цель:


                                                                       60

Страницы