Association for Logic Programming