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