学校でプログラミング教えています．
　
Prologのテキスト公開します．
Prologのテキスト（PDF形式, 72ページ, 711KB）　2020/04/14更新
　今では話題になることも少ないですが，うちのゼミでは推論エンジンとしてPythonプログラムのバックエンドシステムとして使いはじめています．

対象の処理系はSWI-Prologです．
PrologはISOで標準化されているとはいえ，動作（推論処理）は処理系毎にかなり違います．それで特に "SWI-Prolog" に限定しています．（若干ですがGNU Prologについても説明しています）
　
ご意見いただけたら嬉しいです．
　
参考）Pythonの教材（テキスト作っています）
　こちらもご意見いただけたら嬉しいです．
　
－－－－－－－－－－－－－－－－－－－－－

更新に関することなど

【補足】(2020/04/07-14)
　SWI-Prolog処理系の起動時の初期設定に関して解説を加えました．それと，有理数の扱いについても解説を入れました．
　
－－－－－－－－－－－－－－－－－－－－－
【補足】(2018/11/30)
　事実や規則の定義をコンソールから直接入力する方法についての解説を追加しました．
　
－－－－－－－－－－－－－－－－－－－－－
【補足】(2018/11/08)
　module, includeに関する説明を加えました．
　
－－－－－－－－－－－－－－－－－－－－－
【補足】(2018/10/20-26)
　Prologのテキストを久しぶりに更新しました．SWI-Prologでソースプログラムを読み込む際の文字コードの指定方法など，いくつか解説を追記しました．

written by 中村勝則