Start problem-solving with Prolog - Conlon, Tom (Addison-Wesley Publishers, 1985)