>>95
黒川利明
Prologのソフトウェア作法 (岩波コンピュータサイエンス)

も初学者にはいいでしょ。
あとICOT関連はほとんど全部面白いね。