Added some slides explaining logic programming.