Summer School on Logic Programming

TBC