Problem Solving Through Logic