Prolog
概要
公式サイト
実装
SWI-Prolog
SWI-Prolog'sHome：全部さわったわけじゃないのだけど、これがおすすめかな
日本語の解説サイト：Using SWI-Prolog on the `ipe'Systems
YAP
GNU Prolog
学習サイト
英語
Learn prolognowチュートリアルとしてすぐれている
Prolog Tutorial --Contents具体的な例があって良い
http://www.swi-prolog.org/pldoc/refman/ マニュアルなのであまり学習向けとは言えない
日本語
Kobe University Prolog Home Page (inJapanese)
Introduction to Prolog (inJapanese)
M.Hiroi's Home Page / PrologProgramming
インストール
設定
利用方法
参考書籍
Prolog(プロログ)を学ぶ―文化とその実践: 杉崎 昭生 本(AA)
Prologの初心者から読めます。入門としては適切
Prologへの入門 (PrologとAI): Ivan Bratko, 安部 憲広:本(AA)
Prologの技芸: Leon Sterling, Ehud Shapiro, 松田 利夫:本(AA)
すぐれた書籍だが絶版。中古が高いのでおすすめしない
洋書
洋書は非常に優れた書籍が存在している。
Prolog Programming for Artificial Intelligence (3rdEdition) (International Computer Science Series): Ivan Bratko: 洋書(AA)
The Art of Prolog, 2nd Edition: Advanced ProgrammingTechniques (Logic Programming): Leon Sterling, Ehud Shapiro: 洋書(AA)