Bratko
This refers to the text used in COMP9414/9814 at the University of New South Wales, Australia:
Bratko, I., Programming in Prolog for Artificial Intelligence, 4th Edition, Addison-Wesley, 2011