Description

Book Synopsis
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.

Table of Contents
SelfLog: Language and Implementation; M. Bugliesi, G. Nardiello. I.C. Prolog II: a Multi-Threaded Prolog System; D. Chu. Memory Management in Quintus Prolog; J. Crammond, T. Lindholm. How Concurrent Logic Programming could Benefit from Using Linda-like Operations; G. Czajkowski, K. Zielinski. Implementing Logic Programming Systems: the Quiche-Eating Approach; S.K. Debray. Call Forwarding: a Simple Low-Level Code Optimization Technique; S.K. Debray, K. De Bosschere, D. Gudeman. Moving Prolog Toward Objects; E. Denti, A. Natali, A. Omicini. MProlog: an Implementation Overview; Z. Farkas, P. Köves, P. Szeredi. Turbo Erlang: Approaching the Speed of C; B. Hausman. A Framework for Sharing Analysis; A. King. Better Late than Never; M. Meier. To Trim or not to Trim? J. Noyé. Divided we Stand: Parallel Distributed Stack Memory Management; K. Shen, M. Hermenegildo. Or-Parallel Prolog on Distributed Shared Memory Architectures; F.M.A. Silva. Implementing Sets with Hash Tables in Declarative Languages; G. Succi, G. Marino, C. Dondina, A. Bergamini. Concurrent Logic Programs à la mode; E. Tick, B. Massey, F. Radkoczi, P. Tulayathun. Index.

Implementations of Logic Programming Systems

Product form

£80.99

Includes FREE delivery

RRP £89.99 – you save £9.00 (10%)

Order before 4pm tomorrow for delivery by Thu 15 Jan 2026.

A Paperback by Evan Tick, Giancarlo Succi

Out of stock


    View other formats and editions of Implementations of Logic Programming Systems by Evan Tick

    Publisher: Springer Us
    Publication Date: 10/12/2012 12:00:00 AM
    ISBN13: 9781461361572, 978-1461361572
    ISBN10: 1461361575

    Description

    Book Synopsis
    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.

    Table of Contents
    SelfLog: Language and Implementation; M. Bugliesi, G. Nardiello. I.C. Prolog II: a Multi-Threaded Prolog System; D. Chu. Memory Management in Quintus Prolog; J. Crammond, T. Lindholm. How Concurrent Logic Programming could Benefit from Using Linda-like Operations; G. Czajkowski, K. Zielinski. Implementing Logic Programming Systems: the Quiche-Eating Approach; S.K. Debray. Call Forwarding: a Simple Low-Level Code Optimization Technique; S.K. Debray, K. De Bosschere, D. Gudeman. Moving Prolog Toward Objects; E. Denti, A. Natali, A. Omicini. MProlog: an Implementation Overview; Z. Farkas, P. Köves, P. Szeredi. Turbo Erlang: Approaching the Speed of C; B. Hausman. A Framework for Sharing Analysis; A. King. Better Late than Never; M. Meier. To Trim or not to Trim? J. Noyé. Divided we Stand: Parallel Distributed Stack Memory Management; K. Shen, M. Hermenegildo. Or-Parallel Prolog on Distributed Shared Memory Architectures; F.M.A. Silva. Implementing Sets with Hash Tables in Declarative Languages; G. Succi, G. Marino, C. Dondina, A. Bergamini. Concurrent Logic Programs à la mode; E. Tick, B. Massey, F. Radkoczi, P. Tulayathun. Index.

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account