Logic for problem solving - Kowalsky, Robert (Artificial Intelligence Series ;, 1979)