Logic for Problem Solving, Revisited | lit.salon