Prolog安装或设置