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

атрибутных предикатов, tall_height. Так как такого соответствия нет, то Тур-
бо-Пролог откатывается к следующему утверждению choice и делает еще
одну попытку. Теперь значением Choice становится jim. jim удовлетворяет
запросу kathy т. к. обладает высоким ростом, поэтому Турбо-Пролог пытает-
ся найти соответствие этого значения утверждениям blond_hair. Ввиду того,
что эта попытка оканчивается неуспехом, весь процесс повторяется с
третьим утверждением choice. Повторы будут происходить до тех пор, пока
не будет найдено значение Choice, удовлетворяющее всем трем подцелям
           tall_height(Choice),
           blond_hair(Choice),
           sports_car(Choice).
      Имя избранника Вы сможете назвать, если просмотрите листинг про-
граммы.

* Упражнение
      3.5. Модифицируйте программу "Подбор партнера", написав правило
для отыскания имени высокого мужчины, блондина, владельца нового ав-
томобиля.
     3.3.5 Отрицание
     Помимо принадлежности одному и тому же домену, некоторые объек-
ты могут иметь еще некоторое число общих атрибутов. Например, опреде-
ленные страны Европы имеют общие между собой границы, в то время как
другие их не имеют. Предикатом для представления этого отношения слу-
жит
     border(country,country)
     Тот факт, что "Германия и Франция имеют общую границу", можно
представить в виде утверждения
     border("France", "Germany").
     Франция с Германией имеют общую границу, так же как и Франция с
Испанией, и Франция с Италией.
     Шесть утверждений задают все возможные пары четырех выбранных
европейских стран:
           euro_pair("France","Germany"). euro_pair("France","Spain").
           euro_pair("France","Italy"). euro_pair("Germany","Spain").
           euro_pair("Germany","Italy"). euro_pair("Spain","Italy").
     Утверждения для стран с общей границей выглядят так:
           border("France","Germany").
           border("France","Spain").
           border("France","Italy").
     Предположим теперь, что вы хотите определить, какие из стран не
имеют общей границы. Вместо того чтобы выдавать на экран все пары стран
с общей границей, а потом визуально искать все пары, не попавшие в этот
список, лучше воспользоваться более простым и эффективным средством -



                                                                          54