Skip to main content
SpringerLink
Log in

Implementations of Logic Programming Systems

  • Book
  • © 1994

Overview

Editors:
  1. Evan Tick

    1. University of Oregon, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Giancarlo Succi

    1. Università di Trento, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. SelfLog: Language and Implementation

    • Michele Bugliesi, Giuseppe Nardiello
    Pages 1-15

  3. I.C. Prolog II: a Multi-threaded Prolog System

    • Damian Chu
    Pages 17-34

  4. Memory Management in Quintus Prolog

    • Jim Crammond, Tim Lindholm
    Pages 35-42

  5. How Concurrent Logic Programming Could Benefit from Using Linda-like Operations

    • Grzegorz Czajkowski, Krzysztof Zieliński
    Pages 43-64

  6. Implementing Logic Programming Systems: The Quiche-Eating Approach

    • Saumya K. Debray
    Pages 65-75

  7. Call Forwarding: A Simple Low-Level Code Optimization Technique

    • Saumya K. Debray, Koen De Bosschere, David Gudeman
    Pages 77-88

  8. Moving Prolog Toward Objects

    • Enrico Denti, Antonio Natali, Andrea Omicini
    Pages 89-101

  9. MProlog: an Implementation Overview

    • Zsuzsa Farkas, Péter Köves, Péter Szeredi
    Pages 103-117

  10. Turbo Erlang: Approaching the Speed of C

    • Bogumił Hausman
    Pages 119-135

  11. A Framework for Sharing Analysis

    • Andy King
    Pages 137-149

  12. Better Late Than Never

    • Micha Meier
    Pages 151-165

  13. To Trim or Not to Trim?

    • Jacques Noyé
    Pages 167-183

  14. Divided We Stand: Parallel Distributed Stack Memory Management

    • Kish Shen, Manuel Hermenegildo
    Pages 185-201

  15. Or-Parallel Prolog on Distributed Shared-Memory Architectures

    • Fernando M. A. Silva
    Pages 203-215

  16. Implementing Sets with Hash Tables in Declarative Languages

    • Giancarlo Succi, Giuseppe Marino, Cristina Dondina, Angelo Bergamini
    Pages 217-237

  17. Concurrent Logic Programs a la Mode

    • Evan Tick, Bart Massey, Ferenc Rakoczi, Putthi Tulayathun
    Pages 239-254

  18. Back Matter

    Pages 255-262
    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • University of Oregon, USA

    Evan Tick

  • Università di Trento, Italy

    Giancarlo Succi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation