Determination of Topological Equivalence Classes of Atoms and Bonds in C20−C60 Fullerenes Using a New Prolog Coding Program