LoginSignup
25

More than 3 years have passed since last update.

Prologのテキスト

Last updated at Posted at 2017-09-25

学校でプログラミング教えています.
 
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 中村勝則

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
25