swi-prolog

swi-prolog 是编程开发里比较常用的一款，日常用起来比较稳。覆盖 三大桌面系统，版本 当前稳定版，下载体积约 见页面。上手门槛不高，常用功能都在明面上。本站只走官方源，不做任何二次打包；安装包干净是底线。下载后建议先校验数字签名，再开始安装。swi-prolog 的更新节奏比较稳定，一般不会突然大改界面。版本号变化不大的情况下，不必急着升级。