The Journal of Logic Programming (Elsevier Science, 1984)