Abstract: Programmers and managers involved in large software projects need insight into the overall structure of their programs and the relationships between components. This study describes a method of analyzing programs whereby cross-referential, dependency and other information can be abstracted automatically during compilation to support decision-making. These items of information support library administration, configuration management, version control, software reusability and software composition. The analysis is accomplished by transcribing language grammar rules directly into Prolog as predicates in first-order logic.