The Association for Logic Programming