Программирование на языке Пролог для искусственного интеллекта