I am trying to find out the name of a cartoon I watched growing up in the 70s or 80s, where a little boy goes underground and learns about rock formation by meeting singing and talking igneous, sedimentry and metamorphic rocks.