Prolog Programming For Artificial Intelligence by Ivan Bratko