Slide 1Applications Computational LogicLecture 11 Michael Genesereth Spring 2004 Slide 2 2 Plan First Lecture: Pattern Matching Unification Second Lecture: Relational Clausal…