I moved this to the
KTH logic programming course home page