Обзор некоторых традиционных разделов области искусственного интеллекта с практической реализацией задач на языке Пролог