Structure analysis of logic control programs

In this paper, a method to divide a large-scale logic program is proposed. The hierarchical structure of the given logic program can be found by using graph theory. An illustrative example of elevator control program is shown as application of the proposed theory.