Foundations Of Logic Programming 1984