Il paradigma della logica, problem solving e la risoluzione di triangoli. Il programma Geologic