Logic Programming Workshop