An introduction to logic programming. This course starts with Prolog, because it is believed that it is easier to learn the theory if the reader has an idea of how it might relate to a practical instance of the theory.

More: continued here