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

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

Упражнения:

• 4.64 . Бесконечный цикл
• 4.65 . Запрос, который находит всех шишек
• 4.66 . Сумма зарплат всех программистов
• 4.67 . Детектор циклов запросной системы
• 4.68 . Правила для операции reverse
• 4.69 . Правила для добавления приставок «пра» в отношение внук