bratko prolog 4th edition pdf