Bratko, Ivan. Prolog Programming for artificial Intelligence - 3rd ed. - New Delhi Dorling Kindersley 2009 - xxi, 678 p. ISBN: 9788131711347