Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 120 стр.

      запиши полученную сумму в переменную С» или «если А больше В, то дай переменной С то
значение- которой имеет А, иначе то, которое имеет В». Такой способ программирования иногда
называют императивным стилем программирования. При этом программист должен сначала
продумать весь план решения задачи, а потом детализировать его до мельчайших подробностей. В
этой «рабской» послушности машины приказам программиста одновременно и сила, и слабость
императивного стиля программирования на процедурных языках.
     Кроме языков процедурного типа, существуют и другие классы языков: языки
функционального и логического программирования. На первом классе мы не будем подробно
останавливаться. Отметим только, что функциональное программирование применяется уже
около 40 лет. Типичный и самый известный представитель этого класса — язык ЛИСП. На
основных концепциях языка логического программирования мы остановимся более подробно,
хотя и не будем давать полного описания языка Пролог. Приводимые ниже сведения о языке не
претендуют даже на роль краткого описания. Они нужны лишь для того, чтобы читатель мог с
пониманием рассмотреть несколько приведѐнных ниже примеров и самостоятельно оценить их.
      Программы на языке Пролог оперируют данными двух основных типов: числами и
символами. Атом - это строка символов, обозначающая некоторый абстрактный объект. Атом
считается неделимым элементом программы, в связи с чем и выбрано его название. Атом
начинается со строчной буквы и состоит из букв, цифр и символа подчеркивания. Если атом
должен содержать иные специальные знаки или начинаться с прописной буквы, то он заключается
в апострофы. Мы будем далее иногда использовать заключение атомов в кавычки для выделения
их из окружающего текста,
      Примеры атомов: машина, 'кто-то', иван.
     Числа и атомы могут объединяться в конгломераты, называемые структурами и списками.
Структура - это конструкция, состоящая из имени структуры и списка еѐ элементов, разделѐнных
запятыми и заключѐнных в скобки. Элементами структур могут быть числа, атомы, переменные,
другие структуры и списки. Количество элементов структуры фиксировано и не может изменяться
при выполнении программы. Для тех, кто знаком с процедурными языками программирования,
отметим, что структуры представляют собой нечто среднее между массивами и записями
процедурных языков,




                                                120