Title: Advances in Logic Programming Theory (International Schools for Computer Scientists)