Logic programming - Clark, K.L; Taernlund, S.-A (Academic Press Inc, 1982)