Power of turbo prolog - Roberts Ralph (USA TBA Books, 1987)