2003年度 帰納論理プログラミングホームページ月曜3限 ε11 シラバスはここを見てください。 講義資料 第1回(9/29)講義資料 第2回(10/6)講義資料(prolog) 授業の中でデモを行ったSWI-Prologは ここ からダウンロードできます。その中の ダウンロードページ から、インストーラが入手できます。また、Prolog全般の参考資料として、 論理プログラミングの授業ホームページを紹介します。 第3〜6回講義資料(帰納論理プログラミングの基礎) Progol演習資料 Prolog入門資料 Progolは授業資料中にもあったように、開発者のwebページか らダウンロードできます。ヴァージョンがいくつかありますが、授業で説明す る内容に一番即しているのは4.4だと思います。CNSの各自のディレクトリにイ ンストールして使うこともできますし、Cygwinなどを使ってコンパイルすれば、 Windows上で動かすこともでき
