4.4 Логическое программирование

4.4.1 Дедуктивный поиск информации

Упражнения:

• 4.55 . Простые запросы
• 4.56 . Составные запросы
• 4.57 . Правило замены служащих
• 4.58 . Правило «независим»
• 4.59 . Правило meeting-time
• 4.60 . Запрос lives-near
• 4.61 . Правила для отношения next-to
• 4.62 . Правила для last-pair
• 4.63 . Книга Бытия, 4