教科書・指導書・参考書について


この演習では,教科書として

  I. Bratoko 著, 安部憲広 訳,「Prologへの入門」 (近代科学社)
を用います.

授業前に,範囲分を読んでおくようにして下さい.

参考書には,次のものがあります. 必要であれば,各自用意して下さい.


作成:世木 博久,加藤 昇平 2016.4