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

UptoLike

121
так как типы элементов структуры могут быть различными, как у записей, а идентификация их
производится по номерам, как у массивов.
Примеры структур: str (a, b, s, d)
имеет (иван, машина)
Списки представляют собой объединения элементов произвольных видов, разделѐнных
запятыми и заключѐнных в квадратные скобки. Списки отличаются от структур тем, что не имеют
имѐн, и тем, что количество их элементов может меняться при выполнении программы.
Пример списков: [1, 3, 5, 7]
[красный, жѐлтый, зелѐный]
Элементами структур и списков могут быть так называемые переменные, обозначаемые
именами, начинающимися с прописной буквы.
Примеры переменных: X, Y, Z
Основная операция, выполняемая над данными в языке Пролог, это операция
сопоставления (называемая часто операцией унификации или согласования). Конечно, в языке
есть и простейшие арифметические операции и операции сравнения, подобные аналогичным
операциям процедурных языков, но операция сопоставления несѐт гораздо большую смысловую
нагрузку и является одним из тех двух «китов», на которых стоит Пролог.
Операция сопоставления определяется так:
а) число сопоставляется только с равным ему числом;
б) атом сопоставляется только с равным ему атомом;
в) переменная сопоставляется с чем угодно, при этом она получает в качестве значения
то, с чем она сопоставляется;
г) структура сопоставляется с другой структурой, если они имеют одинаковые имена и
количество аргументов, при условии, что все их элементы попарно сопоставимы.
Операция сопоставления может закончиться неудачно. В этом случае будем говорить, что еѐ
операнды несопоставимы. Примеры:
7 сопоставляется с 7;
«иван» сопоставляется с «иван»; «иван»
не сопоставляется с «пѐтр»;
имеет (иван, машина) не сопоставляется с имеет (иван, телевизор);
так как типы элементов структуры могут быть различными, как у записей, а идентификация их
производится по номерам, как у массивов.
     Примеры структур: str (a, b, s, d)
                                      имеет (иван, машина)
     Списки представляют собой объединения элементов произвольных видов, разделѐнных
запятыми и заключѐнных в квадратные скобки. Списки отличаются от структур тем, что не имеют
имѐн, и тем, что количество их элементов может меняться при выполнении программы.
       Пример списков: [1, 3, 5, 7]
                                      [красный, жѐлтый, зелѐный]
      Элементами структур и списков могут быть так называемые переменные, обозначаемые
именами, начинающимися с прописной буквы.
       Примеры переменных: X, Y, Z
      Основная операция, выполняемая над данными в языке Пролог, — это операция
сопоставления (называемая часто операцией унификации или согласования). Конечно, в языке
есть и простейшие арифметические операции и операции сравнения, подобные аналогичным
операциям процедурных языков, но операция сопоставления несѐт гораздо большую смысловую
нагрузку и является одним из тех двух «китов», на которых стоит Пролог.
      Операция сопоставления определяется так:
     а)    число сопоставляется только с равным ему числом;
     б)    атом сопоставляется только с равным ему атомом;
      в)    переменная сопоставляется с чем угодно, при этом она получает в качестве значения
то, с чем она сопоставляется;
      г)   структура сопоставляется с другой структурой, если они имеют одинаковые имена и
количество аргументов, при условии, что все их элементы попарно сопоставимы.
Операция сопоставления может закончиться неудачно. В этом случае будем говорить, что еѐ
операнды несопоставимы. Примеры:
       7 сопоставляется с 7;
       «иван» сопоставляется с «иван»; «иван»
       не сопоставляется с «пѐтр»;
      имеет (иван, машина) не сопоставляется с имеет (иван, телевизор);




                                              121