Logic Programming - CLARK, K. L. (Newyork AP press, 1982)