Slide 1Logic Programming Automated Reasoning in practice Slide 2 2 But: people seldom reason monotonically ! First order logic is monotone: G T ’ Motivation: monotonicity…