The Journal of Logic Programming