A static analysis of prolog programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A static analysis of prolog programs

Full text

Pdf (797 KB)

Source

ACM SIGPLAN Notices archive
Volume 20 , Issue 10 (October 1985) table of contents

Pages: 48 - 59

Year of Publication: 1985

ISSN:0362-1340

Author

Hidekazu Matsumoto

AI Applications Institute, University of Edinburgh, Hope Park Square, Meadow Lane, Edinburgh, EH8 9NW U.K.

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 12, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/382286.382380 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	[Onai84]: R. Onairi, et. al., "Analysis of sequential Prolog Programs", Logic Programming, 1984 in Japan (written in Japanese).
	2	[Warr77]: D. H. Warren, "Implementing Prolog - compiling predicate logic programs", DAI Research Reports 39 and 40, University of Edinburgh, May 1977.
	3	[Warr80]: D. H. Warren, "An improved Prolog implementation which optimizes tail recursion", DAI Research Report 156, University of Edinburgh, 1980.
	4	[Warr83]: D. H. Warren, "An Abstract Prolog Instruction Set", Technical report 309, Artificial Intelligence Center, SRI International, 1983.
	5	[Tick84]: E. Tick and D. H. D. Warren, "Towards a Pipelined Prolog Processor", International Symposium on Logic Programming, February, 1984.