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