Book Chapter10.1007/3-540-57186-8_73
Improvements in Compile-Time Analysis for Ground Prolog
Andreas Kågedal
- 25 Aug 1993
- pp 92-107
1
TL;DR: Ground Prolog is a restricted subset of pure Prolog that enables a very good data flow analysis that will make it possible to compile Ground Prolog programs to object code which is as efficient as code produced by normal imperative language compilers.
read more
Abstract: Ground Prolog is a restricted subset of pure Prolog that enables a very good data flow analysis. This will make it possible to compile Ground Prolog programs to object code which is as efficient as code produced by normal imperative language compilers.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Annotated Structure Shape Graphs for Abstract Analysis of Prolog
Geoffrey Weyer,William H. Winsborough +1 more
- 24 Sep 1996
TL;DR: An abstract interpretation of Prolog is presented that derives information about the shape and sharing of structures to which variables are bound at runtime to support analysis of live structures, which in turn supports compile-time memory reuse.
6
References
Some global optimizations for a prolog compiler
TL;DR: It seems unlikely that conventional machines can be efficiently used by PROLOG programs without the use of sophisticated compilers, but a number of possible optimizations that can be made on the basis of a static, global analysis of programs are presented, together with techniques for obtaining such analyses.
161
Can Logic Programming Execute as Fast as Imperative Programming
Peter Van Roy
- 01 Nov 1990
TL;DR: This dissertation is to provide constructive proof that the logic programming language Prolog can be implemented an order of magnitude more efficiently than the best previous systems, so that its speed approaches imperative languages such as C for a significant class of problems.
138
•Book
Prolog for Programmers
Feliks Kluźniak,Stanialaw Szpakowicz +1 more
- 01 Aug 1985
TL;DR: This book is an introduction to PROLOG, its use and implementation, assumes the reader has some programming experience and relates the unconventional PROLOG constructs to the programming methods and techniques used in, say, PASCAL, thus helping to cross the psychological barrier between the two approaches.
39
Related Papers (5)
Mats Carlsson
- 01 Nov 1990
Yasusi Kanada,Masahiro Sugaya +1 more
- 20 Aug 1989
T. Jennings,P. Taylor +1 more
- 01 Jan 1995