Transcript CS 345 Logic Programming Vitaly Shmatikov slide 1 Reading Assignment Mitchell, Chapter 15 slide 2