+612 9045 4394
Implementations of Logic Programming Systems - Evan Tick

Implementations of Logic Programming Systems

By: Evan Tick (Editor), Giancarlo Succi (Editor)


Published: 30th June 1994
Ships: 7 to 10 business days
7 to 10 business days
RRP $516.99
or 4 easy payments of $89.48 with Learn more
if ordered within

Other Available Formats (Hide)

  • Paperback View Product Published: 12th October 2012

Implementations of Logic Programming Systems 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 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 papers, is how to effectively leverage host implementation systems and technologies to implement target systems. This 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 serves as an excellent reference and may be used as a text for a course on the subject.

SelfLog: Language and Implementationp. 1
I.C. Prolog II: a Multi-threaded Prolog Systemp. 17
Memory Management in Quintus Prologp. 35
How Concurrent Logic Programming Could Benefit from Using Linda-like Operationsp. 43
Implementing Logic Programming Systems: The Quiche-Eating Approachp. 65
Call Forwarding: A Simple Low-Level Code Optimization Techniquep. 77
Moving Prolog Toward Objectsp. 89
MProlog: an Implementation Overviewp. 103
Turbo Erlang: Approaching the Speed of Cp. 119
A Framework for Sharing Analysisp. 137
Better Late Than Neverp. 151
To Trim or not to Trim?p. 167
Divided We Stand: Parallel Distributed Stack Memory Managementp. 185
Or-Parallel Prolog on Distributed Shared Memory Architecturesp. 203
Implementing Sets with Hash Tables in Declarative Languagesp. 217
Concurrent Logic Programs a la Modep. 239
Indexp. 255
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780792394570
ISBN-10: 0792394577
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 262
Published: 30th June 1994
Country of Publication: NL
Dimensions (cm): 24.69 x 16.05  x 2.31
Weight (kg): 0.57