Logic Programming Slides

I've made some slides about logic programming (PS) for my presentation next week in the logic seminar.