学部でSICStus Prologのサイト・ライセンスを取得しているらしい．SICStus Prologを使うか，GNU Prologでやってみよう．Prologを入れるんなら，LISPもということでOpenSchemeなんかも，入れてみようかなと思ったりして…