Logic for problem solving | lit.salon