Ivan Bratko, Prolog Programming for Artificial Intelligence, 3/e, Addison Wesley, 2000