10.7. Пролог и логическое программирование