Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Слайды искусственного интеллекта / Л25. Пролог, вопросы, правила

.ppt
Скачиваний:
118
Добавлен:
19.05.2015
Размер:
35.33 Кб
Скачать

Пролог

ВОПРОСЫ

Факт имеет форму структуры, в конце записи которой ставится точка.

Вопрос, часто называемый целью, имеет форму структуры, перед которой ставится символы ?- ,

а после структуры ставится точка.

Пример вопроса:

?- военный ('Тихонов ', 'сержант ').

ответом на наш вопрос является "да".

?-военный(S, 'полковник' ).

Пролог даст ответы: S=Климов, S=Максимов

ПРАВИЛО СОПОСТАВЛЕНИЯ СТРУКТУР

Правило имеет заголовок и тело, которые разделяются специальным символом “:-”, который называется (произносится) “если”. Тело правила состоит из одной или нескольких подцелей, которые разделяются запятой. Каждая цель может быть структурой.

Вконце правила ставится знак завершения – точка.

Вприведенном примере:

одинаковое_ звание (А, В):- военный (А,R), военный (В, R). военный (А,R)

военный (В,R).

-заголовок правила, -тело правила, -первая подцель, -вторая подцель.