Prologの啓蒙書としては

1.. 「楽しいプログラミング2 記号の世界」 中島秀之・上田和紀 共著 岩波書店
2.. 「Prologを学ぶ」 杉崎昭生 著 海文堂
3.. 「PrologとAI」 I.Bratko 著 阿部憲広 訳 近代科学
4.. 「Prologの技芸」 L.Sterling E.Shapiro 共著 松田利夫 訳
共立出版

などが良いと思います。どれもAmazonから入手可能だと思います。
1..の"2"はアラビア数字です。