Kowalski R. Logic for Problem Solving, Revisited 2014