Slide 1Web Science & Technologies University of Koblenz ▪ Landau, Germany Procedural Semantics Soundness of SLD-Resolution Slide 2 Steffen Staab [email protected]…