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