Глава 3. Основы пролога 44

ПРОграммирование в ЛОГике 44

Предложения: Факты и Правила. 45

Факты: То что известно 45

Правила: То что вы можете получить из заданных фактов 46

Запросы 46

Совместное задание фактов, правил и запросов 48

Переменные: основные положения 49

Выводы 50

Упражнения 51

Из естественного языка в программы на Прологе 51

Предложения (факты и правила) 51

Подробнее о фактах 51

Подробнее о правилах 52

Примеры правил 52

Упражнения 54

Предикаты (связи) 54

Переменные (обобщенные предложения) 55

Как переменные получают свои значения 55

Анонимные переменные 57

Цели (запросы) 58

Составные цели: Конъюнкция и Дизъюнкция 59

Комментарии 60

Что такое Сопоставление? 61

Выводы 62