Программирование на языке ПРОЛОГ для искуственного интеллекта




Расширение программы-примера с помощью правил - часть 7


Вопросы имеют только тело. Правила имеют голову и (непустое) тело.
  • По ходу вычислений вместо переменной может быть подставлен другой объект. Мы говорим в этом случае, что переменная конкретизирована.
  • Предполагается, что на переменные действует квантор всеобщности, читаемый как "для всех...". Однако для переменных, появляющихся только в теле, возможны и другие формулировки. Например,

            имеетребенка( X) :- родитель( X, Y).

    можно прочитать двумя способами:

    (а)        Для всех X и Y,
                если X - отец Y, то
                X имеет ребенка.

    (б)        Для всех X,
                X имеет ребенка, если
                существует некоторый Y, такой, что
                X - родитель Y.



  • Содержание  Назад  Вперед