Logic programming - Clark, K.L; Taernlund, S.-A (A.P.I.C. Studies in Data Processing / Academic Press Inc. ;, 1982)