Лучшей, на мой взгляд, вводной книгой по Прологу является: Братко И. Программирование на языке Пролог для искусственного интеллекта:
Пер. с. англ. - М.: Мир, 1990. - 560 с. Несмотря на почтенный возраст - суть Пролога с тех пор не изменилась.
Также выделим:
Клоксин У., Меллиш К. "Программирование на языке Пролог" (авторы из Эдинбурга, одного из столбов Пролога)
