By Frank Pfenning.
Carnegie Mellon University.
In this first lecture we give a brief introduction to logic programming. We also discuss administrative details of the course, although these are not included here, but can be found on the course web page.