Logic for problem solving / (by) Robert Kowalski. - Kowalski, Robert (The computer science library: artificial intelligence series, 1979)