
Слайды искусственного интеллекта / Л25. Пролог, вопросы, правила
.pptПролог
ВОПРОСЫ
Факт имеет форму структуры, в конце записи которой ставится точка.
Вопрос, часто называемый целью, имеет форму структуры, перед которой ставится символы ?- ,
а после структуры ставится точка.
Пример вопроса:
?- военный ('Тихонов ', 'сержант ').
ответом на наш вопрос является "да".
?-военный(S, 'полковник' ).
Пролог даст ответы: S=Климов, S=Максимов
ПРАВИЛО СОПОСТАВЛЕНИЯ СТРУКТУР
Правило имеет заголовок и тело, которые разделяются специальным символом “:-”, который называется (произносится) “если”. Тело правила состоит из одной или нескольких подцелей, которые разделяются запятой. Каждая цель может быть структурой.
Вконце правила ставится знак завершения – точка.
Вприведенном примере:
одинаковое_ звание (А, В):- военный (А,R), военный (В, R). военный (А,R)
военный (В,R).
-заголовок правила, -тело правила, -первая подцель, -вторая подцель.