Analysis of sequential PROLOG programs

Rikio Onai, Hajime Shimizu, Kanae Masuda, Moritoshi Aso

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

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
Volume3
Issue number2
DOIs
Publication statusPublished - 1986
Externally publishedYes

    Fingerprint

ASJC Scopus subject areas

  • Logic

Cite this