Journal of Logic Programming