Analysis of sequential PROLOG programs

Rikio Onai, Hajime Shimizu, Kanae Masuda, Moritoshi Aso

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)119-141
Number of pages23
JournalThe Journal of Logic Programming
Issue number2
Publication statusPublished - 1986
Externally publishedYes

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Analysis of sequential PROLOG programs'. Together they form a unique fingerprint.

Cite this