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

Implementations of Logic Programming Systems

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

Hardcover Published: 30th June 1994
ISBN: 9780792394570
Number Of Pages: 262

Share This Book:


RRP $521.99
or 4 easy payments of $90.31 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

  • Paperback View Product Published: 12th October 2012

In conjunction with the 1993 International Conference on Logic Programming (ICLP'93), held in Budapest Hungary, two workshops were held concerning the implementations of logic programming systems: Practical Implementations and Sys­ tems Experience in Logic Programming Systems, and Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems. This collection presents 16 research papers in the area of the implementation of logic programming systems. The two workshops aimed to bring together sys­ tems implementors for discussing real problems coming from their direct experience, therefore these papers have a special emphasis on practice rather than on theory. This book 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 imple­ mentation systems and technologies to implement target systems. Debray discusses implementing Janus in SICStus Prolog by exploiting the delay primitive, which is fur­ ther expounded by Meier in his discussion of various ECRC systems implementations of delay primitives. Hausman discusses implementing Erlang in C, and Czajkowski and Zielinski discuss embedding Linda primitives in Strand. Denti et ai. discuss implementing object-oriented logic programs within SICStus Prolog, a theme also explored and compared to a WAM-based implementation by Bugliesi and Nardiello.

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