Prolog Programming For AI - Ivan Bratko (Pearson Education Asia 1, 2004)