Prolog Programming For Artificial Intelligence door Ivan Bratko