PROLOG PROGRAMMING ARTIFICAIL INTELLIGENCE - IVAN BRATKO (NEWDELHI PEARSON, 2008)