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

жет обозначать любое имя существительное, и то, что обозначает местоиме-
ние "это" может меняться от предложения к предложению.
      Если группа предложений не содержит информации о том, что кон-
кретно и в каком предложении обозначает местоимение "это", то вы не
знаете точного смысла предложения. Вы не можете вывести каких-либо но-
вых фактов из предложения
      Бет любит это, если Мэри любит это
потому, что вы не знаете, что обозначает местоимение "это".
      Но, если вы опять посмотрите на предпосылки, то обнаружите, что
      Мэри любит яблоки
      Теперь вы имеете вполне определенное значение для местоимения
"это" - яблоки. Сейчас вы можете принять на веру, что местоимение "это"
означает яблоки, хотя "это" не всегда обозначает яблоки, так как Мэри может
также любить апельсины, груши или жареные кукурузные зерна.
      Имея в виду значение "яблоки" для местоимения "это", предложения
могут быть переформулированы следующим образом:
      любит Мэри яблоки
      любит Бет это (яблоки), если Мэри любит это (яблоки)
      Теперь может быть получен новый факт: Бет любит яблоки. Выше
этот факт был получен с использованием только семантики русского языка.
В следующем разделе рассматривается, как этот же способ логического вы-
вода используется в логике предикатов.


     2.2.2 Пролог и логика предикатов
      Вы понимаете смысл предложения "Мэри любит яблоки", так как
слова в этом предложении появляются в привычном для вас порядке. Поря-
док слов, или синтаксис, помогает передать смысл предложения. Те же
самые слова, но в другом порядке, имели бы другой смысл. Но если мы со-
гласимся, что предложения "Мэри любит яблоки" и "Любит Мэри яблоки"
имеют один и тот же смысл, то мы можем использовать тот и другой порядок
слов, и при этом понимать друг друга. К сожалению, до сих пор никто еще
не разработал удобный язык программирования, использующий правиль-
ный синтаксис английского или русского языка. Но как только вы привыкни-
те к синтаксису Турбо-Пролога, то обнаружите, что он весьма близок к есте-
ственному.
      Вам уже встречалась следующая конструкция:
      Отношение        Объект        Объект
         Любит         Мэри           яблоки
      Отношение "любит" связывает объекты "Мэри" и "яблоки" в конст-
рукцию, обладающую определенным смыслом. Отношение "любит" может
быть также названо предикатом:
      Предикат       Объект         Объект
        любит          Мэри         яблоки



                                                                         16