A static analysis of prolog programs
- 1 October 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 20 (10) , 48-59
- https://doi.org/10.1145/382286.382380
Abstract
A static analysis of Prolog programs was made for the purposes of revealing the behavior of Prolog programs and of getting useful information for system design. This analysis consists of two parts: one analyzes general aspects of Prolog programs, the other evaluates some compiler techniques which have a great deal of interest. This work has been done using a program written in Prolog, which collects data from test programs. This document summarizes the results of this static analysis.Keywords
This publication has 0 references indexed in Scilit: