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

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



                                                                          15