Logic programming - Clark, K.L (Academic Press Inc, 1982)