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

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


                                                                        17