Reinforcement Learning, Logic and Evolutionary Computation by Drew Mellor