The journal of logic programming. (Elsevier Science Pub. Co., 1984)