Analysis of sequential PROLOG programs

We consider the characteristics of sequential PROLOG programs using static and dynamic analyzers. They were developed to analyze ICOT-developed PROLOG programs and to collect various data items for studying program characteristics. Thirty-nine programs were statistically analyzed; two of these were also analyzed dynamically. The static analyzer is written in DEC-10 PROLOG. It simply reads a program from the beginning and outputs various types of information about the program. The dynamic analyzer is also written in DEC-10 PROLOG. It executes a program that can be executed in parallel by providing a goal for the program. During the execution, it collects various data including those obtained in the static analysis.