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

имеет (иваи, машина) сопоставляется с имеет (иваи, X).
      В последнем случае переменная X получает в качестве значения атом «машинам. Правила
сопоставления списков мы рассмотрим позднее.
      Программа на языке Пролог состоит из двух основных конструкций: фактов и правил. Факт
- это структура, завершающаяся символом «точка». Факты представляют собой те данные,


      с которыми оперирует программа. Совокупность фактов, относящихся к некоторой задаче
Пролога, называется базой данных Пролога. С помощью фактов описываются свойства объектов и
отношения между ними. Факт, состоящий из структуры с одним элементом, обычно описывает
некоторое свойство, например, факт «собака (бобик)» определяет, что объект «бобик» имеет
свойство «быть собакой». Этот факт можно интерпретировать на естественном языке так: «Бобик
есть собака» или более строго; «Высказывание «Бобик есть собака» истинно». Факты с более чем
одним элементом описывают взаимосвязи объектов (отношения между ними), например, факт
«имеет (иван, машина)» определяет, что объекты «иван» и «машина» находятся между собой в
таком отношении, что второй является собственностью первого. Этот факт интерпретируется на
русском языке так: «Иван имеет машину». Разумеется, Пролог не понимает смысла имѐн,
отношений и объектов, этот смысл приписывается им только в сознании программиста, разра-
батывающего программу. В программе на Прологе можно задать факты совершенно
бессмысленные с точки зрения обыденного здравого смысла, например, «имеет (иван, юпитер)»,
т.е. «Иван является собственником планеты Юпитер». Для Пролога этот факт ничем не хуже
первого.
     Другой составной частью программ на языке Пролог являются правила. Правило есть
конструкция вида;

                                         А: - В, С, D,

где А, В, С, D - структуры. Структура А называется заголовком правила, а В, С, D - подцелями.
Правило определяет истинность некоторого высказывания. Формальная запись правила
интерпретируется так: «Высказывание А истинно, если одновременно истинны высказывания В, С
и D». Вот пример правила;
     имеет собаку (Некто): -
     имеет (Некто, Нечто),
     собака (Нечто).




                                              122