Информатика


Элементы языка Пролог - часть 2


х = Лена

 

Здесь буквы х, у - обозначения переменных, а числа и слова - конкретные значения аргументов в соответствующих предикатах. Знак подчеркивания «_» представляет неопределенное значение, которое несущественно для ответа на вопросы.

При записи сложносоставных вопросов в языке Пролог можно указывать несколько условий-предикатов, разделяемых запятыми. Запятая в этих сложносоставных вопросах играет роль логической  связки и. Примеры сложносоставных вопросов:

                

? мама (х, у), мама (у, Оля)            - Кто мама у мамы Оли?

х = Зина у = Люба

? мама (х, у), папа (у, Оля)             - Кто мама у папы Оли?

НЕТ

 

Правила в Прологе - это правила логического вывода. Слева в правилах записывается следствие, а справа - предусловие. Пред­условие может состоять из одного или нескольких предикатов, раз­деляемых запятыми. Примеры записи правил вывода на Прологе:

 

студент (х) ¬ занятие (х, учеба);                          - Студент - тот, кто занят учебой;

нумизмат (х) ¬ собирает (х, монеты);                - Нумизмат - тот, кто собирает монеты.

 

Примеры вопросов на использование этих правил:

 

? студент (х)                          - Кто - студент?

х =

Алеша    

х = Лена

? нумизмат (у)                      - Кто

- нумизмат?

у = Алеша

 

В правилах со сложносоставными определениями запятая также играет роль логической связки и, объединяя условия, образующие определение. Такого рода правила позволяют создавать самые слож­ные и изощренные базы знаний по самым различным предметным областям и применениям.

Приведем пример составления базы знаний о друзьях. Будем раз­личать друзей по их именам: Алеша, Оля и т. д. Включим в базу дан­ных следующие сведения о друзьях:

что им нравится;

что они коллекционируют;

чем они занимаются;

какие оценки они имеют.

При такой постановке проблемы и предметная область, и круг основных вопросов очерчены достаточно четко. Для записи фактов на Прологе примем следующие предикаты:




Начало  Назад  Вперед



Книжный магазин