Logic Programming - Clark, K. L. 1943-; Tärnlund, S. A. (A.P.I.C. Studies in Data Processing ;, 1982)