Rename trianglesolver.pro to trianglesolver.prolog