Advertisement

Implementations of Logic Programming Systems

  • Evan Tick
  • Giancarlo Succi
Book

Table of contents

  1. Front Matter
    Pages i-x
    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
    PDF

About this book

Keywords

C programming language Erlang Performance Prolog Text management programming

Editors and affiliations

  • Evan Tick
    • 1
  • Giancarlo Succi
    • 2
  1. 1.University of OregonUSA
  2. 2.Università di TrentoItaly

Bibliographic information