prolog是人工智能语言，改软件可以让人工智能初学者学习prolog语言规范和一些prolog询问语言。