There are many more of course than

Deransart et al
Prolog: The Standard
Springer

Clocksin/Mellish
Programming in Prolog
Springer

Bartenstein, Geske, Hannebauer, Yoshie (eds)
Web Knowledge Management and Decision Support
Springer

Sterling/Shapiro
The Art of Prolog
MIT Press

Richard O'Keefe 
The Craft of Prolog
MIT Press

Sterling (ed)
The Practice of Prolog
MIT Press

Ivan Bratko
Prolog Programming for Artificial Intelligence
Addison Wesley

Peter Flach
Simply Logical
Wiley

Not a book but a source in a class of its own:
http://www.pcai.com

冒頭へ