Logic for problem solving - Kowalski, Robert, 1941- (Artificial Intelligence Series ;, 1979)