Compiling logic programs to C using GNU C as a portable assembler

Compiling logic programs to C using GNU C as a portable assembler (1995)

Cached

Download Links

by Fergus Henderson , Thomas Conway , Zoltan Somogyi

Citations:

16 - 5 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Compiling logic programs to C using GNU C as a portable assembler	user correction - Legacy Corrections
AUTHOR NAME	Fergus Henderson	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computer Science, University of Melbourne	user correction - Legacy Corrections
AUTHOR ADDR	Parkville, 3052 Victoria, Australia	user correction - Legacy Corrections
AUTHOR NAME	Thomas Conway	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computer Science, University of Melbourne	user correction - Legacy Corrections
AUTHOR ADDR	Parkville, 3052 Victoria, Australia	user correction - Legacy Corrections
AUTHOR NAME	Zoltan Somogyi	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computer Science, University of Melbourne	user correction - Legacy Corrections
AUTHOR ADDR	Parkville, 3052 Victoria, Australia	user correction - Legacy Corrections
ABSTRACT	This paper discusses the merits of using C, and in particular GNU C, as an intermediate target language for the compilation of logic programs, and describes the approach we have taken in the implementation of Mercury. We start with a simple approach using ANSI C, and investigate a variety of improvements on this basic approach. Keywords: compilation techniques, programming language implementation, logic programming languages, Mercury, C, GNU C. 1 Introduction There are many different ways of implementing a logic programming language, each with its own advantages and disadvantages. Each method makes its own trade-offs in terms of simplicity, portability, interactivity, compilation time, code size, speed at runtime, ease of debugging, interoperation with other languages, and so on. The choice of a particular method must be governed by the relative weights placed on these different trade-offs. This paper discusses the approach we took in the implementation of Mercury [11, 12], a new pure...	user correction - Legacy Corrections
YEAR	1995	user correction - Legacy Corrections
CITATIONS	14 found	ParsCit 1.0