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

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

• 4.4.2 Как действует система обработки запросов

• 4.4.3 Является ли логическое программирование математической логикой? 425

• 4.4.4 Реализация запросной системы