Implementations of Logic Programming Systems / Edition 1

by Evan Tick, Giancarlo Succi

Overview

This volume is a collection of research papers in the area of the implementation of logic programming systems. It will be of immediate interest to practitioners who seek an understanding of how to efficiently manage memory, generate fast code, perform sophisticated static analyses, and design high-performance runtime features. A major theme throughout the book is how to effectively leverage host implementation systems and technologies to implement target systems. The book is also beneficial for future reference because it summarizes a wealth of systems implementation experience of the researchers shaping the field over the past ten years. Another theme of the book is compilation techniques to boost performance. The field of static analysis for logic programs is a rapidly developing field that deserves a volume on its own. Implementations of Logic Programming Systems is an excellent reference and may be used as a text for a course on the subject.

Product Details

ISBN-13:	9780792394570
Publisher:	Springer US
Publication date:	06/30/1994
Edition description:	1994
Pages:	262
Product dimensions:	6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

1 SelfLog: Language and Implementation.- 2 I.C. Prolog II : a Multi-threaded Prolog System.- 3 Memory Management in Quintus Prolog.- 4 How Concurrent Logic Programming Could Benefit from Using Linda-like Operations.- 5 Implementing Logic Programming Systems: The Quiche-Eating Approach.- 6 Call Forwarding: A Simple Low-Level Code Optimization Technique.- 7 Moving Prolog Toward Objects.- 8 MProlog: an Implementation Overview.- 9 Turbo Erlang: Approaching the Speed of C.- 10 A Framework for Sharing Analysis.- 11 Better Late Than Never.- 12 To Trim or not to Trim?.- 13 Divided We Stand: Parallel Distributed Stack Memory Management.- 14 Or-Parallel Prolog on Distributed Shared Memory Architectures.- 15 Implementing Sets with Hash Tables in Declarative Languages.- 16 Concurrent Logic Programs a la Mode.

Editorial Reviews

A collection of 16 papers from two workshops at the 1993 International Conference on Logic Programming in Budapest. Focusing on practical problems rather than theoretical issues, systems implementors speak to their fellow practitioners about managing memory efficiently, generating fast code, performing sophisticated static analysis, designing high-performance runtime features, and other tasks. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Booknews