Logic for Problem Solving, Revisited