Logic for problem solving - Kowalski, Robert (The computer science library, 1979)