某先生に確認したら，SICStus Prologのサイト・ライセンスはあるけど，誰も使わないので最新版を追ったりせずに放置状態らしい．とりあえずのプロトタイプだし，freeなGNU Prologが使えればそのほうが良いのでGNU Prologをインストールしてみることにした…