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