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