自己收集整理的prolog的小文章，关于prolog与人工智能的关系。