I moved this to the KTH logic programming course home page