Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 127 стр.

     8)    Что может купить Николай, чего не может купить (или в чѐм
не нуждается) Иван?
Запрос: ? - может_купить (николай, Вещь), не (может_купить (иван, вещь)). Ответ: Вещь- видео. Мы
можем ввести в рассмотрение и особь женского пола, при этом можно определить и отношение
«является_женой>, связывающее супружескую пару.
является_женой {айна, Николай)* является_женой (мария, иван). При этом, если ввести
предположение, что собственность мужа и жены общая, необходимо определить правило «у жены есть
всѐ, что есть у мужа». Для этого отношение «имеет» мы дополним правилом:
          имеет (Женщина, Вещь): -
          является_женой (Женщина, Мужчина), имеет (Мужчина, Вещь). Заметим, что одно это
     правило заменяет множество фактов о
том, что жѐны имеют все те вещи, которые имеют их мужья. При наличии этого правила Пролог
получает возможность как бы выводить новые факты из имеющихся. Например:
     9)    Имеет ли Мария машину?
Запрос: ? - имеет (мария, машина). Ответ: Да Примечание. Пролог делает логический вывод, что если
Мария является женой Ивана, а Иван имеет машину, то и Мария имеет машину.


       Базы    данных,   программное   обеспечение    которых    обладает способностью выводить
новые данные из имеющихся, называются
дедуктивными базами данных.



                            Пролог как язык программирования систем
                              искусственного интеллекта

     Для программистов, привыкших к процедурным языкам, Пролог, несомненно, представляется
весьма странным инструментом. Ведь в нем нет таких базовых конструкций, как оператор при-
сваивания, условный оператор, оператор цикла, нет массивов и записей. Все это заменено операцией
сопоставления структур и правилами логического    вывода. Тем не менее, оказывается, что на




                                               127