Please note: I have taught this course many times in a traditional manner (using overhead projector and blackboard) and I have now decided to transform it into a more modern form. However, the work is not completed yet, and I'm not sure whether it will ever be!
On the other hand, the Prolog Problems section has been finished. The exercise collection which I had published under the name of P-99: Ninety-Nine Prolog Problems has been widely used. I hope it will be useful also in the new form.