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