Title: Logic for Problem Solving, Revisited