Logic for problem solving - Kowalski, Robert 1941- (Artificial intelligence series, 1983)